Pinned Loading

1. LeanFrontier LeanFrontier Public

   A Lean 4 library of machine-generated, kernel-verified mathematics.

   Python 8 3

2. labzero labzero Public

   Original UCI chess engine in Rust with no copied engine core — perft-verified, Elo-measured across LLM-driven iterations.

   Python

3. platosdf platosdf Public

   A genetic evolver that generates 3D shapes defined by G-invariant Signed Distance Functions, optimised for DMLS/SLM metal 3D printing.

   Python

4. erdos-straus-offset-lean erdos-straus-offset-lean Public

   Lean 4-verified fixed-divisor offset construction for 4/n = 1/x + 1/y + 1/z (not a proof of Erdős–Straus).

   Lean

5. deck-lovers deck-lovers Public

   Markdown-to-HTML deck with live audience likes and projector sync

   Python

6. aristowrap aristowrap Public

   Docker-first aristowrap CLI around Harmonic aristotle (Lean 4 + Mathlib)

   Python