
repos
34
ecosystems
7
languages
5
commits
924
─── top repos · by commits
─── repositories
34 totalNoir 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
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
A NeoVim plugin providing syntax highlighting and LSP support for Noir
bignum
base64 decoder
Organization configuration for the Noir language
Keccak256 Hashing Library
aztec connect repository
Big integer implementation in Noir.
─── peer developers
─── ecosystems
─── languages
- Rust11
- Noir11
- C++3
- Vim Script1
- Solidity1
─── subscriber view
Unlock the full view of jfecher
- · 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.



















