Pinned Loading

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

   The math library of Lean 4

   Lean 1.6k 341

2. mlcommons/ck mlcommons/ck Public

   Collective Knowledge (CK, CM, CM4MLOps, CM4MLPerf and CMX) is an educational community project to learn how to run AI, ML and other emerging workloads in the most efficient and cost-effective way a…

   Python 610 116

3. all-music all-music Public

   All Western music.

   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 42 7

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

   Neural theorem proving toolkit: data extraction tools for Lean 4

   Lean 16 2