Popular repositories Loading

1. zkp-workshop zkp-workshop Public

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

   Python 39 5

2. tappy tappy Public

   Developer-friendly Taproot-only descriptor wallet for Bitcoin Core

   Rust 10 1

3. simpiwallet simpiwallet Public

   First wallet that uses Simplicity descriptors

   Rust 7

4. simfony-webide simfony-webide Public

   Simplicity / Simfony development in the browser!

   Rust 7 3

5. natural-number-game natural-number-game Public

   Reimplementation of Natural Number Game in Coq

   Coq 6

6. hal-simplicity hal-simplicity Public

   Companion for the Simplicity language

   Rust 4