F-WRunTime

Runtime Verification

Pinned Repositories

cachix-action
Build software only once and put it in a global cache
Language:TypeScript260 8 8240
DAppNode
General repository of the project dappnode
Language:Shell590 49 432105
optimism
Optimism is Ethereum, scaled.
Language:Go5.8k 128 1.8k3.4k
_audits_lidofinance_dual-governance_fork
Lido Dual Governance contracts
Language:Solidity0 0 00
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Language:Python510 54 347145
haskell-backend
The symbolic execution engine powering the K Framework
Language:Haskell214 38 1.3k43
iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
Language:HTML131 27 5533
k
K Framework Tools 7.0
Language:Python457 39 1.2k150
kontrol
Language:Python60 12 3359
wasm-semantics
A Formal Semantics of WebAssembly in K
Language:WebAssembly79 24 7024