Pinned Loading

1. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 1.8k 373

2. mlcommons/ck mlcommons/ck Public

   Collective Knowledge (CK), Collective Mind (CM) and Common Metadata eXchange (CMX): community-driven projects to facilitate collaborative and reproducible research and to learn how to run AI, ML, a…

   Python 618 120

3. all-music all-music Public

   All music in the style of the Library of Babel.

   TypeScript

4. primality-tests primality-tests Public

   Miller–Rabin primality test in Lean

   Lean 5

5. .DS_Store-parser .DS_Store-parser Public

   Parses everything from the .DS_Store files generated by macOS

   Python 49 9

6. cmu-l3/ntp-toolkit cmu-l3/ntp-toolkit Public

   Neural theorem proving toolkit: data extraction tools for Lean 4

   Lean 21 2