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

   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

   Coq 7 1

4. simpiwallet simpiwallet Public archive

   First wallet that uses Simplicity descriptors

   Rust 7

5. hal-simplicity hal-simplicity Public archive

   Companion for the Simplicity language

   Rust 5 1

6. maxiscript maxiscript Public

   Rust 4