repos
17
ecosystems
6
languages
4
commits
257
─── top repos · by commits
─── repositories
17 totalA tool that performs extraction of storage layouts based on EVM bytecode.
Compiling LLVM bytecode to run on top of the CairoVM and execute provably on Starknet
Extracting the semantics of Noir to Lean for formal verification
signup-sequencer repository
Internal use. Smart contracts powering the World ID protocol and the Worldcoin app airdrops.
Cryptographic primitives used in Polygon Miden rollup
State bridge between the WorldID Ethereum mainnet deployment and WorldID supported networks
semaphore-mtb repository
Light prover
🦀 Rust support library for semaphore
Noir is a domain specific language for zero knowledge proofs
A support library for working with zero knowledge cryptography in Lean 4.
Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
GraalVM: Run Programs Faster Anywhere :rocket:
─── peer developers
─── ecosystems
─── languages
- Rust7
- Lean5
- Solidity2
- Cairo1
─── subscriber view
Unlock the full view of iamrecursion
- · 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.