Popular repositories Loading

1. eml-lean eml-lean Public

   Lean 4 formalization of arXiv:2603.21852 — All elementary functions from a single binary operator eml(x,y) = exp(x) - ln(y)

   Lean 34 4

2. cag-nasbench cag-nasbench Public

   Does CAG γ (Fiedler value of cell DAG's normalized Laplacian) predict ANN training convergence? Tested on NAS-Bench-201 across 15,625 pre-trained architectures without training.

   Python 1

3. RamanujanWeil RamanujanWeil Public

   Lean 4 developments toward Deligne’s bound for Ramanujan’s tau, using formalized Weil results with explicit geometric hypotheses.

   Lean 1

4. ising-verifier-final ising-verifier-final Public

   Zk-Ising Proof-of-Useful-Work Halo2 Circuit

   Rust

5. nexus-chain nexus-chain Public

   Go

6. uno-multiplayer uno-multiplayer Public

   UNO multiplayer card game

   JavaScript