repos
28
ecosystems
8
languages
4
commits
1,628
─── top repos · by commits
─── repositories
28 totalFork of aztec-packages containing bb_rs to create bindings to Barretenberg
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
A place for example Aztec projects
Noir is a domain specific language for zero knowledge proofs
Noirlings.app is a interactive learning platform for Noir programming language. It's designed to help you learn Noir quickly and intuitively, with hands-on exercises, instant feedback.
hmm no worky
─── peer developers
─── ecosystems
─── languages
- C++8
- TypeScript7
- Rust7
- Noir1
─── subscriber view
Unlock the full view of Thunkar
- · 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.