Owner · runtimeverification

runtimeverification

runtimeverification's tracked open-source repos, sorted by stars.

2 repos

#1
evm-semantics ↗@runtimeverificationKCL
K Semantics of the Ethereum Virtual Machine (EVM)
★ 589+1Star change over the last 7 days
#2
k ↗@runtimeverificationPython
K Framework Tools 7.0
★ 584+4Star change over the last 7 days