Leader inspiring teams through data-driven vision and analytics fluency.
Popular repositories Loading
-
-
vamp-ir
vamp-ir PublicForked from anoma/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Rust
-
juvix
juvix PublicForked from anoma/juvix
A language for intent-centric and declarative decentralised applications
Haskell
-
taiga
taiga PublicForked from anoma/taiga
A framework for generalized shielded state transitions
Rust
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.