Pinned Loading

1. anoma anoma Public

   Reference implementation of Anoma

   Elixir 30.9k 3.9k

2. juvix juvix Public

   A language for intent-centric and declarative decentralised applications

   Haskell 490 62

3. vamp-ir vamp-ir Public

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

   Rust 164 50

4. taiga taiga Public

   A framework for generalized shielded state transitions

   Rust 150 26

5. whitepaper whitepaper Public

   TeX 67 23

6. research research Public

   Early-stage research related to the Anoma protocols.

   Idris 24 3