Crypto Developer IntelligenceFRIDAY · JUNE 5, 2026 · VOL. 1 · NO. 23ACCOUNT

Est. 2025BuilderGraph

─── contributor

jinxinglim

@jinxinglim

repos

5

ecosystems

4

languages

3

commits

25

─── top repos · by commits

─── repositories

5 total

runtimeverification/k-tutorial-atva-2023

This is the main repository we will be using for the tutorial sessions during the [21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023)](https://atva-conference.org/2023/). The tutorial sessions will be held on 24 October 2023.

★ 0

16 commits

Dockerfile→ Runtime Verification

runtimeverification/kontrol

★ 113

6 commits

Python→ Ethereum

runtimeverification/evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

★ 586

1 commits

KCL→ Ethereum

wormhole-foundation/evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

★ 1

1 commits

Python→ Bridges & Interoperability (Category)

blockchain-audit/kontrol

★ 0

1 commits

─── peer developers

goodlyrottenapple

RaoulSchaffranek

─── ecosystems

Ethereum (2)Runtime Verification (1)Bridges & Interoperability (Category) (1)General (1)

─── languages

Python2
Dockerfile1
KCL1

─── subscriber view

Unlock the full view of jinxinglim

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

[$] subscribe sign in

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