Popular repositories Loading

1. zkp-workshop zkp-workshop Public

   Explore the world of zero-knowledge proofs from first principles.

   Python 46 8

2. tappy tappy Public archive

   Developer-friendly Taproot-only descriptor wallet for Bitcoin Core

   Rust 9

3. natural-number-game natural-number-game Public

   Reimplementation of Natural Number Game in Coq

   Rocq Prover 7 1

4. maxiscript maxiscript Public

   Rust 4

5. rustier-simplicity rustier-simplicity Public archive

   "If you know Rust, you already know Simplicity."

   Rust 3

6. simple-turing simple-turing Public archive

   Turing machine verifier written in Simplicity

   Rust 2