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 31 3

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. ising-verifier-final ising-verifier-final Public

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

   Rust

4. nexus-chain nexus-chain Public

   Go

5. uno-multiplayer uno-multiplayer Public

   UNO multiplayer card game

   JavaScript

6. autonomi autonomi Public

   Forked from maidsafe/autonomi

   Autonomi combines the spare capacity of everyday devices to form a new, autonomous, data and communications layer of the Internet

   Rust