Repository · dormant
VSCode extension for Juvix
stars
4
forks
3
contributors
5
open issues
18
Not enough history yet — signal stabilises after ~2 snapshots.
jonaprieto
@jonaprieto
164
commits
vrom911
@vrom911
25
lopeetall
@lopeetall
6
lukaszcz
@lukaszcz
paulcadman
@paulcadman
1
anoma/anoma
Reference implementation of Anoma
namada-net/namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
anoma/juvix
A language for intent-centric and declarative decentralised applications
anoma/namada-testnets
Testnet configurations and coordination for the Namada network.
namada-net/namada-trusted-setup-claimer
Sign arbitrary messages with keys obtained from Namada's trusted setup
anoma/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
anoma/taiga
A framework for generalized shielded state transitions
anoma/zkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
