https://github.com/runtimeverification/evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

Last synced: 11 May 2026

https://github.com/runtimeverification/haskell-backend

The symbolic execution engine powering the K Framework

Last synced: 12 Mar 2026

https://github.com/runtimeverification/kontrol

Last synced: 05 Mar 2026

https://github.com/runtimeverification/javamop

Runtime verification system for Java, using AspectJ for instrumentation.

Last synced: 10 Mar 2026

https://github.com/runtimeverification/llvm-backend

KORE to llvm translation

Last synced: 17 Jan 2026

https://github.com/runtimeverification/mir-semantics

Last synced: 12 Apr 2026

https://github.com/runtimeverification/ercx-tests

Last synced: 17 Jan 2026

https://github.com/runtimeverification/ethdebug.py

ethdebug.py is a debugger-side implementation of the EthDebug format

Last synced: 27 Apr 2026

https://github.com/runtimeverification/avm-semantics

Last synced: 10 Mar 2026

https://github.com/runtimeverification/rv-monitor

RV-Monitor core system code

Last synced: 17 Jan 2026

https://github.com/runtimeverification/kontrol-demo

Foundry blog posts' executable demos

ethereum smart-contracts

Last synced: 17 Jan 2026

https://github.com/runtimeverification/k-editor-support

Plugin files for editing K files

Last synced: 20 Oct 2025

https://github.com/runtimeverification/mpfr-java

GNU MPFR Java Bindings

Last synced: 17 Jan 2026

https://github.com/runtimeverification/kavm-demo

Last synced: 17 Jan 2026

https://github.com/runtimeverification/evm-equivalence

Equivalence proofs of EVM models

ethereum evm formal-verification kframework lean4

Last synced: 02 Nov 2025

https://github.com/runtimeverification/ercx-vscode

VSCode support for ERCx

Last synced: 21 Feb 2026

https://github.com/runtimeverification/rv-toolkit-docs

Last synced: 17 Jan 2026

https://github.com/runtimeverification/mir-semantics-compiletest

Test suite for MIR semantics

Last synced: 17 Jan 2026

https://github.com/runtimeverification/gitbook-home

Last synced: 17 Jan 2026

https://github.com/runtimeverification/kaas-vscode

Last synced: 30 Oct 2025

https://github.com/runtimeverification/horner_hax_comppoly_poc

Proof of Concept for Horner's method with HAX extraction and CompPoly spec

Last synced: 27 Apr 2026

https://github.com/runtimeverification/riscv-gnu-toolchain-images

Docker image builds for the RISC-V GNU toolchain

Last synced: 17 Jan 2026

https://github.com/runtimeverification/p3-hax-lean-fri-pipeline

Verification of Plonky3 FRI function using ArkLib FRI Specifications

Last synced: 27 Apr 2026

https://github.com/runtimeverification/simbolik-docs

Last synced: 27 Apr 2026

https://github.com/runtimeverification/_kaas_external-test-bed

Test Environment for external collaboration test-bed

Last synced: 17 Jan 2026

https://github.com/runtimeverification/eslint-config-rv-web-nestjs

RV web nest.js eslint config

Last synced: 17 Jan 2026

https://github.com/runtimeverification/go-config

A simple configuration library for go programs.

go golang golang-module

Last synced: 12 Mar 2026