Pinned Loading

1. LeanFrontierLeanFrontierPublic

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

   Python 8

2. labzerolabzeroPublic

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

   Python

3. platosdfplatosdfPublic

   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-leanerdos-straus-offset-leanPublic

   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-loversdeck-loversPublic

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

   Python

6. aristowraparistowrapPublic

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

   Python