Repository · dormant
Juvix Lean library for compiler run verification
stars
6
forks
1
contributors
open issues
0
Not enough history yet — signal stabilises after ~2 snapshots.
lukaszcz
@lukaszcz
11
commits
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.
