repos
14
ecosystems
7
languages
6
commits
1,222
─── top repos · by commits
─── repositories
14 totalruntimeverification/k
K Framework Tools 7.0
★ 569
387 commits
Python→ Runtime Verification
runtimeverification/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
★ 586
173 commits
KCL→ Ethereum
runtimeverification/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
★ 131
150 commits
runtimeverification/haskell-backend
The symbolic execution engine powering the K Framework
★ 223
92 commits
Haskell→ Runtime Verification
dapphub/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
★ 3
68 commits
Makefile→ Chai
LayerXcom/evm-semantics
Forked KEVM for FVyper project
★ 1
68 commits
Makefile→ LayerX
wormhole-foundation/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
★ 1
68 commits
input-output-hk/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
★ 0
68 commits
runtimeverification/evaluation
Evaluation results of RV tools and comparisons with other tools
★ 2
49 commits
Python→ Runtime Verification
multiversx/k
K Framework Tools 5.0
★ 2
38 commits
Java→ Cosmos Network
runtimeverification/error-codes-mvn-plugin
Maven Plugin to Keep Error Codes in Sync with the K Framework C-Semantics
★ 0
15 commits
runtimeverification/rv-monitor
RV-Monitor core system code
★ 16
5 commits
runtimeverification/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
★ 52
3 commits
─── peer developers
─── ecosystems
─── languages
- Java5
- Python3
- Makefile2
- KCL1
- HTML1
- Haskell1
─── subscriber view
Unlock the full view of msaxena2
- · 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.