Pinned Loading

1. runtimeverification/k runtimeverification/k Public

   K Framework Tools 7.0

   Java 451 149

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

   K Semantics of the Ethereum Virtual Machine (EVM)

   Python 508 143

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

   A Prototype Formal Semantics of WebAssembly in K

   WebAssembly 78 23

4. runtimeverification/kontrol runtimeverification/kontrol Public

   Python 51 6

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 49 43