repos
16
ecosystems
3
languages
8
commits
50
─── top repos · by commits
─── repositories
16 totalruntimeverification/k
K Framework Tools 7.0
★ 569
12 commits
Python→ Runtime Verification
★ 113
10 commits
Python→ Ethereum
★ 35
5 commits
WebAssembly→ Runtime Verification
runtimeverification/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
★ 586
4 commits
KCL→ Ethereum
★ 43
3 commits
Python→ Runtime Verification
runtimeverification/skribe
Property testing for Stylus smart contracts
★ 31
3 commits
Python→ Runtime Verification
runtimeverification/kup
K and Semantics Distribution Tool
★ 9
3 commits
Python→ Runtime Verification
runtimeverification/haskell-backend
The symbolic execution engine powering the K Framework
★ 223
2 commits
Haskell→ Runtime Verification
runtimeverification/wasm-semantics
A Formal Semantics of WebAssembly in K
★ 105
1 commits
WebAssembly→ Polkadot Network
runtimeverification/simbolik-vscode
VSCode extension for debugging Solidity using Simbolik API server
★ 49
1 commits
TypeScript→ Runtime Verification
runtimeverification/llvm-backend
KORE to llvm translation
★ 42
1 commits
runtimeverification/stable-mir-json
KMIR Rust Library
★ 9
1 commits
runtimeverification/blockchain-k-plugin
K plugin for IELE and KEVM
★ 9
1 commits
runtimeverification/imp-semantics
The K semantics of IMP and associated tools
★ 7
1 commits
Python→ Runtime Verification
★ 6
1 commits
Python→ Runtime Verification
runtimeverification/rv-nix-tools
Set of common nix utilities used in our repositories
★ 0
1 commits
─── peer developers
─── languages
- Python7
- WebAssembly2
- C++2
- KCL1
- Haskell1
- TypeScript1
- Rust1
- Nix1
─── subscriber view
Unlock the full view of juliankuners
- · 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.