BuilderGraphAccount

Repository · quiet

runtimeverification/evm-equivalence

Equivalence proofs of EVM models

LeanRuntime Verification

stars

6

forks

2

contributors

3

open issues

11

Stars · last 0 weeks

Not enough history yet — signal stabilises after ~2 snapshots.

Trend

Stars Δ 1w—

Stars Δ 4w—

Contributors Δ 1w—

Last commit61d ago

Top contributors

3

JuanCoRo

JuanCoRo

@JuanCoRo

29

commits

palinatolmach

palinatolmach

@palinatolmach

1

commits

tothtamas28

tothtamas28

@tothtamas28

1

commits

Ecosystem context

Runtime Verification

runtimeverification/verified-smart-contracts

Smart contracts which are formally verified

Soliditylast commit 2022-08-28

runtimeverification/k

K Framework Tools 7.0

Pythonlast commit 2026-06-04

runtimeverification/haskell-backend

The symbolic execution engine powering the K Framework

Haskelllast commit 2026-06-05

runtimeverification/iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain

HTMLlast commit 2023-07-20

runtimeverification/publications

Publications of Runtime Verification, Inc.

HTMLlast commit 2026-04-15

runtimeverification/javamop

Runtime verification system for Java, using AspectJ for instrumentation.

Javalast commit 2023-01-06

runtimeverification/erc20-semantics

ERC20 in K

last commit 2019-04-25

runtimeverification/simbolik-vscode

VSCode extension for debugging Solidity using Simbolik API server

TypeScriptlast commit 2026-04-10

Subscriber view

Unlock the full view of runtimeverification/evm-equivalence

Full repository, commit, and contributor breakdown
Peer graph and ecosystem links
Weekly trend deltas and pulse signal
API and CSV / JSON exports

Subscribe Sign in

Already a subscriber? Sign in with the same email used at checkout.