← 트렌딩

Tangerine Index는 ChatGPT 이후 나온 프로덕트와 사람들의 반응을 싣습니다.

physlib

github.com

A project to digitalise results from physics into Lean.

오픈소스

github.com 방문외부 사이트GitHub829 스타외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. cslib

    The Lean Computer Science Library (CSLib)

    GitHub스타 801github.com라이브러리오픈소스최근 반응

  2. the_well

    A 15TB Collection of Physics Simulation Datasets

    Hacker News5점GitHub스타 4,548github.com오픈소스반응 2개최근 반응

  3. ComposePhysicsLayout

    A custom Compose layout backed by a physics engine

    GitHub스타 643github.com오픈소스최근 반응

  4. analysis

    A Lean companion to Analysis I

    GitHub스타 1,983github.com오픈소스최근 반응

  5. LeanDojo

    Tool for data extraction and interacting with Lean programmatically.

    GitHub스타 852github.com오픈소스최근 반응