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 14 1

2. ising-verifier-final ising-verifier-final Public

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

   Rust

3. nexus-chain nexus-chain Public

   Go

4. uno-multiplayer uno-multiplayer Public

   UNO multiplayer card game

   JavaScript

5. 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

6. ANE ANE Public

   Forked from maderix/ANE

   Training neural networks on Apple Neural Engine via reverse-engineered private APIs

   Objective-C