repos
38
ecosystems
9
languages
13
commits
4,839
─── top repos · by commits
─── repositories
38 totalK Framework Tools 7.0
K Semantics of the Ethereum Virtual Machine (EVM)
The symbolic execution engine powering the K Framework
A Formal Semantics of WebAssembly in K
K Semantics of the Ethereum Virtual Machine (EVM)
Python tools for the K Framework
Code supporting K tutorial session at PLDI 2023.
Wasm semantics for the Elrond/MultiversX blockchain network
RV-Match issue tracker and releases
Semantics of Virtual Machine for IELE prototype blockchain
A K semantics of Tezos' Michelson language.
Solady formal verification with Kontrol
K plugin for IELE and KEVM
High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
Accelerates K Framework's Haskell backend
Verification of Polkadot WASM code
Fork of the Solidity Compiler for compiling Solidity to IELE
K Semantics of the Ethereum Virtual Machine (EVM)
Formalization of the Beacon Chain Phase 0 Specification in K
The K Programming Language Tutorial
The K semantics of IMP and associated tools
Property testing for Stylus smart contracts
K semantics for Solana
Maven Plugin to Keep Error Codes in Sync with the K Framework C-Semantics
KORE to llvm translation
─── peer developers
─── ecosystems
─── languages
- Python12
- WebAssembly4
- Haskell3
- Makefile3
- C++3
- HTML2
- TeX2
- Rust2
- KCL1
- Shell1
─── subscriber view
Unlock the full view of rv-jenkins
- · 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.