Pinned Loading

1. llmopt llmopt Public

   Oracle-verified experiments in mathematics and physics ML — exact integer training, zero-calibration quantization, and an append-only ledger that books nulls and retractions beside the wins.

   Python 1

2. axiom axiom Public

   From-scratch STL-only C++23 math engine: bigint/rational, CAS, derivation search with Lean 4 certificates. Cross-verified against a second lab's oracle (167/167 emitted rows, 50/50 token-identical …

   C++

3. ply ply Public

   From-scratch alpha-beta UCI chess engine in Rust — magic bitboards, NNUE eval, modern search. Targeting ~3500 Elo.

   Rust 1