Pinned Loading

1. runtimeverification/k runtimeverification/k Public

   K Framework Tools 7.0

   Python 521 161

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

   K Semantics of the Ethereum Virtual Machine (EVM)

   Python 544 153

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

   A Formal Semantics of WebAssembly in K

   WebAssembly 83 24

4. runtimeverification/kontrol runtimeverification/kontrol Public

   Python 83 13

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

   Cookiecutter template for Python projects

   Nix

6. ftsrg/theta ftsrg/theta Public

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

   Java 55 46