repos
32
ecosystems
10
languages
9
commits
556
─── top repos · by commits
─── repositories
32 totalK Framework Tools 7.0
Optimism is Ethereum, scaled.
Optimism is Ethereum, scaled.
The Optimism monorepo
Redstone is Optimism, with off-chain data availability.
The Spire Based Stack
Optimism is Ethereum, scaled.
Boba Network Monorepo of the Optimism monorepo
A developer-friendly, rollup-based Ethereum Layer 2 solution that offers low fees and EVM equivalence.
Optimism is Ethereum, scaled.
Solady formal verification with Kontrol
The symbolic execution engine powering the K Framework
K Semantics of the Ethereum Virtual Machine (EVM)
VSCode extension for debugging Solidity using Simbolik API server
Cheatcodes library for your symbolic Kontrol tests
KORE to llvm translation
Lido Dual Governance contracts
A Formal Semantics of WebAssembly in K
An open-source library of property-based tests for most common Ethereum token standards.
Foundry blog posts' executable demos
Semantics of Virtual Machine for IELE prototype blockchain
Property testing for Stylus smart contracts
─── peer developers
─── ecosystems
─── languages
- Go11
- Python6
- Solidity6
- TypeScript2
- Haskell2
- WebAssembly2
- KCL1
- C++1
- HTML1
─── subscriber view
Unlock the full view of F-WRunTime
- · 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.