Pinned Loading

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

   The math library of Lean 4

   Lean 1.5k 331

2. mlcommons/ck mlcommons/ck Public

   Collective Knowledge (CK) is an educational community project to learn how to run AI, ML and other emerging workloads in the most efficient and cost-effective way across diverse models, data sets, …

   Python 607 114

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