repos
19
ecosystems
13
languages
2
commits
402
─── top repos · by commits
─── repositories
19 totalEmpowering everyone to build reliable and efficient software.
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
:pencil2: Command line tool for development and production Apollo workflows
A hash table with consistent order and fast iteration; access items by key or sequence index
A hash table with consistent order and fast iteration; access items by key or sequence index
A hash table with consistent order and fast iteration; NOTE: old name of crate was ordermap; it was renamed with no change in functionality
A crate for managing memory bit by bit
A HashMap wrapper that holds key-value pairs in insertion order
─── peer developers
─── ecosystems
─── languages
- Rust15
- TypeScript1
─── subscriber view
Unlock the full view of pczarn
- · 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.