repos
15
ecosystems
6
languages
5
commits
182
─── top repos · by commits
─── repositories
15 totalsignup-sequencer repository
Extracting the semantics of Noir to Lean for formal verification
Main components and documentation for the World ID Protocol.
Transaction sitter. But a glorious monolith.
semaphore-mtb repository
World Chain monorepo
Client side zero-knowledge proving.
Internal use. Smart contracts powering the World ID protocol and the Worldcoin app airdrops.
snarkjs powers of tau universal setup (.ptau) deserializer for gnark's groth16 bn254 phase1 trusted setup
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Fork of Foundry implementing new features and fixes
Fork of Foundry tailored for zkSync environment
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
─── peer developers
─── ecosystems
─── languages
- Rust7
- Lean2
- Noir1
- Solidity1
- Go1
─── subscriber view
Unlock the full view of piohei
- · 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.