repos
89
ecosystems
29
languages
8
commits
2,662
─── top repos · by commits
─── repositories
89 totalA Rust verification tool
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
The Optimism monorepo
Redstone is Optimism, with off-chain data availability.
Optimism is Ethereum, scaled.
Boba Network Monorepo of the Optimism monorepo
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Layer 2, named Verse, built on top of the Oasys gaming blockchain utilizes Opstack.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled, forked
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
The Spire Based Stack
Optimism is Ethereum, scaled.
The Optimism monorepo
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Sunrise DA's integration with Optimism's rollup SDK op-stack (modular blockchain architecture)
Optimism is Ethereum, scaled.
The Optimism monorepo
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Rollux is built by SYS Labs, powered by Syscoin, and fueled by $SYS. Rollux functions as Syscoin’s Layer 2 to help provide the unprecedented scalability necessary for an exponential increase of potential use cases, and sets the stage for realizing mass adoption.
Optimism is Ethereum, scaled.
Nexis Appchain is a Base-aligned Layer 3 built on the OP Stack to coordinate autonomous AI agents with on-chain staking, task execution, verifiable inference proofs, and streaming payouts. The repository packages the smart contracts, rollup infrastructure, developer tooling, and automation needed to stand up an L3 that is production-ready for agent
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
A developer-friendly, rollup-based Ethereum Layer 2 solution that offers low fees and EVM equivalence.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Equivalence proofs of EVM models
OP Rollup
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
K Framework Tools 7.0
Publications of Runtime Verification, Inc.
Solady formal verification with Kontrol
K Semantics of the Ethereum Virtual Machine (EVM)
Kontrol Workshop at ETHCC[7]
Foundry blog posts' executable demos
Cheatcodes library for your symbolic Kontrol tests
K Semantics of the Ethereum Virtual Machine (EVM)
CI Hosting Symbolic Execution for Ethereum-Optimism
Kontrol DSS Workshop 2024
─── peer developers
─── ecosystems
─── languages
- Go58
- Solidity5
- Python4
- OCaml1
- TypeScript1
- Lean1
- HTML1
- KCL1
─── subscriber view
Unlock the full view of JuanCoRo
- · 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.