Pinned Loading

1. runtimeverification/k runtimeverification/k Public

   K Framework Tools 7.0

   Java 442 145

2. runtimeverification/evm-semantics runtimeverification/evm-semantics Public

   K Semantics of the Ethereum Virtual Machine (EVM)

   Python 506 140

3. runtimeverification/wasm-semantics runtimeverification/wasm-semantics Public

   A Prototype Formal Semantics of WebAssembly in K

   WebAssembly 78 19

4. runtimeverification/kontrol runtimeverification/kontrol Public

   Python 46 5

5. runtimeverification/python-project-template runtimeverification/python-project-template Public

   Cookiecutter template for Python projects

   Makefile

6. ftsrg/theta ftsrg/theta Public

   Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

   Java 46 40