repos
22
ecosystems
5
languages
1
commits
64
─── top repos · by commits
─── repositories
22 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 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 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
─── peer developers
─── languages
- Rust13
─── subscriber view
Unlock the full view of bsikar
- · 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.