repos
16
ecosystems
6
languages
6
commits
826
─── top repos · by commits
─── repositories
16 totalThe principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the Prover in charge of generating ZK proofs, the Coordinator responsible for multiple orchestrations, and the Postman to execute bridge messages
Implementation of the constraint system of Linea, specified in the linea-specification repo
Specification of the constraint system underlying Linea's zkEVM
Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM client
A port of the Corset tool into Go
Linea Sequencer Implementation
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Fork of hyperledger/besu to verify release GitHub actions
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference
Web app for experimenting with Cairo, Sierra and CASM, with step-by-step debugging.
Source for Kakarot playground
Source for tvm.codes - a TVM Opcodes Interactive Reference
─── peer developers
─── languages
- Java7
- TypeScript3
- Go2
- Common Lisp1
- TeX1
- Rust1
─── subscriber view
Unlock the full view of OlivierBBB
- · 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.