repos
19
ecosystems
6
languages
7
commits
533
Top repos · by commits
Repositories
19 totalruntimeverification/haskell-backend
The symbolic execution engine powering the K Framework
223 stars
245 commits
HaskellRuntime Verification
runtimeverification/hs-backend-booster
Accelerates K Framework's Haskell backend
7 stars
108 commits
HaskellRuntime Verification
43 stars
87 commits
PythonRuntime Verification
runtimeverification/k
K Framework Tools 7.0
569 stars
20 commits
PythonRuntime Verification
runtimeverification/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
586 stars
16 commits
KCLEthereum
runtimeverification/stable-mir-json
KMIR Rust Library
9 stars
16 commits
runtimeverification/imp-semantics
The K semantics of IMP and associated tools
7 stars
8 commits
PythonRuntime Verification
runtimeverification/kasmer-multiversx
Wasm semantics for the Elrond/MultiversX blockchain network
0 stars
6 commits
WebAssemblyRuntime Verification
runtimeverification/pyk
Python tools for the K Framework
13 stars
5 commits
PythonRuntime Verification
wormhole-foundation/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
1 stars
4 commits
runtimeverification/wasm-semantics
A Formal Semantics of WebAssembly in K
105 stars
3 commits
WebAssemblyPolkadot Network
runtimeverification/kompass
K semantics for Solana
16 stars
3 commits
8 stars
3 commits
PythonCosmos Network
runtimeverification/kore-prof
Profiling utilities extracted from haskell-backend
1 stars
3 commits
HaskellRuntime Verification
runtimeverification/llvm-backend
KORE to llvm translation
42 stars
2 commits
117 stars
1 commits
PythonEthereum
runtimeverification/blockchain-k-plugin
K plugin for IELE and KEVM
9 stars
1 commits
runtimeverification/z3-images
Repository for publishing Z3 images automatically
0 stars
1 commits
DockerfileRuntime Verification
0 stars
1 commits
Peer developers
Ecosystems
Languages
- Python7
- Haskell3
- Rust2
- WebAssembly2
- C++2
- KCL1
- Dockerfile1