Pinned Loading

1. anoma-archive anoma-archive Public

   Reference implementation of the Anoma protocols in Rust.

   Rust 425 176

2. namada namada Public

   Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

   Rust 2.4k 945

3. juvix juvix Public

   A language for intent-centric and declarative decentralised applications

   Haskell 447 54

4. vamp-ir vamp-ir Public

   Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

   Rust 154 44

5. taiga taiga Public

   A framework for generalized shielded state transitions

   Rust 134 26

6. whitepaper whitepaper Public

   TeX 59 16