Pinned Loading

1. LeanFrontier LeanFrontier Public

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

   Python 7

2. labzero labzero Public

   Original legal UCI chess engine (Rust): Podman CI, perft verification, Fastchess gauntlets, Lichess bot bridge.

   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-verified fixed-divisor offset construction for the Erdos-Straus equation

   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