Repository · dormant

runtimeverification/iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain

HTMLNOASSERTIONRuntime Verification

GitHub

stars

131

forks

contributors

open issues

Stars · last 5 weeks

Trend

Stars Δ 1w0

Stars Δ 4w0

Contributors Δ 1w0

Last commit1054d ago

Weekly snapshots

5 rows

Week	Stars	Forks	Contributors	Open issues
2026-W15	124	32	26	32
2026-W17	131	32	26	32
2026-W22	131	32	26	32
2026-W23	131	31	26	32
2026-W24	131	31	26	32

Top contributors

Ecosystem context

Runtime Verification

runtimeverification/verified-smart-contracts

Smart contracts which are formally verified

Soliditylast commit 2022-08-28

745 stars

138 forks

14 contribs

runtimeverification/k

K Framework Tools 7.0

Pythonlast commit 2026-06-04

569 stars

160 forks

107 contribs

runtimeverification/haskell-backend

The symbolic execution engine powering the K Framework

Haskelllast commit 2026-06-05

223 stars

42 forks

49 contribs

runtimeverification/publications

Publications of Runtime Verification, Inc.

HTMLlast commit 2026-04-15

94 stars

21 forks

24 contribs

runtimeverification/javamop

Runtime verification system for Java, using AspectJ for instrumentation.

Javalast commit 2023-01-06

54 stars

38 forks

13 contribs

runtimeverification/erc20-semantics

ERC20 in K

last commit 2019-04-25

49 stars

11 forks

2 contribs

runtimeverification/simbolik-vscode

VSCode extension for debugging Solidity using Simbolik API server

TypeScriptlast commit 2026-04-10

48 stars

4 forks

7 contribs

runtimeverification/mir-semantics

Pythonlast commit 2026-06-05

43 stars

4 forks

20 contribs

Subscriber view

Unlock the full view of runtimeverification/iele-semantics

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.