Owner

runtimeverification

9 indexed repositories · View on GitHub

• evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)

  KCL · 591 stars

• haskell-backend

  The symbolic execution engine powering the K Framework

  Haskell · 224 stars

• kontrol

  Python · 122 stars

• wasm-semantics

  A Formal Semantics of WebAssembly in K

  WebAssembly · 106 stars

• mir-semantics

  Python · 52 stars

• llvm-backend

  KORE to llvm translation

  C++ · 43 stars

• komet

  WebAssembly · 35 stars

• stable-mir-json

  KMIR Rust Library

  Rust · 11 stars

• kernel-rust-verification-spike

  Feasibility spike: extracting Linux kernel Rust parsers (Binder) into LLBC via Charon, toward Lean 4 verification

  Lean · 3 stars