repos
26
ecosystems
6
languages
6
commits
506
─── top repos · by commits
─── repositories
26 totalNoir 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
Noir is a domain specific language for zero knowledge proofs
`noir_js` development version packages container
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
Collection of build scripts to build Nargo CLI targeting different platforms
Installation tooling for Noir
Noir source resolver module to bring as dependency for compiling in Browser
good burger
aztec connect repository
Noir is a domain specific language for zero knowledge proofs
─── peer developers
─── ecosystems
─── languages
- Rust10
- JavaScript4
- C++3
- TypeScript2
- Solidity1
- Shell1
─── subscriber view
Unlock the full view of kobyhallx
- · 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.