← Trending

Tangerine Index lists products launched since ChatGPT and people's reactions to them.

physlib

github.com

A project to digitalise results from physics into Lean.

Open source

Visit github.comexternal siteGitHub829 starsexternal site

Reactions (1)

Similar products

by description similarity

  1. cslib

    The Lean Computer Science Library (CSLib)

    GitHub801 starsgithub.comLibraryOpen sourcelatest reaction

  2. the_well

    A 15TB Collection of Physics Simulation Datasets

    Hacker News5 ptsGitHub4,548 starsgithub.comOpen source2 reactionslatest reaction

  3. ComposePhysicsLayout

    A custom Compose layout backed by a physics engine

    GitHub643 starsgithub.comOpen sourcelatest reaction

  4. analysis

    A Lean companion to Analysis I

    GitHub1,983 starsgithub.comOpen sourcelatest reaction

  5. LeanDojo

    Tool for data extraction and interacting with Lean programmatically.

    GitHub852 starsgithub.comOpen sourcelatest reaction