Contributor
@sskeirik
repos
13
ecosystems
6
languages
commits
128
A K semantics of Tezos' Michelson language.
K Framework Tools 7.0
K plugin for IELE and KEVM
KMIR Rust Library
K Semantics of the Ethereum Virtual Machine (EVM)
A Formal Semantics of WebAssembly in K
KORE to llvm translation
Test suite for MIR semantics
Tezos utilities for CLI workflows
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
