repos
25
ecosystems
9
languages
7
commits
2,925
─── top repos · by commits
─── repositories
25 totalFork of aztec-packages containing bb_rs to create bindings to Barretenberg
Rust-based zkSNARK Proving&Verifying tool for noir-lang
Mirror of AztecProtocol/aztec-packages/aztec-nr
Noir is a domain specific language for zero knowledge proofs
Formal verification tool for Noir programs using the Rocq system
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Official Cardano Testnets website repository
Internal engineering designs
Implement an account contract from scratch on Aztec (check the branches)
Documentation of the Marlowe language and ecosystem
Fork of Foundry tailored for zkSync environment
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Aztec docs site
─── peer developers
─── ecosystems
─── languages
- Rust8
- C++7
- TypeScript2
- JavaScript2
- Noir1
- Jupyter Notebook1
- MDX1
─── subscriber view
Unlock the full view of alexghr
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.