Popular repositories Loading

1. k k Public

   Forked from runtimeverification/k

   K Framework Tools 5.0

   Java

2. klab klab Public

   Forked from dapphub/klab

   K framework proof explorer & smart contract specification format

   JavaScript

3. verified-smart-contracts verified-smart-contracts Public

   Forked from runtimeverification/verified-smart-contracts

   Smart contracts which are formally verified

   Python

4. evm-semantics evm-semantics Public

   Forked from runtimeverification/evm-semantics

   K Semantics of the Ethereum Virtual Machine (EVM)

   Makefile

5. genart genart Public

   Forked from eviefp/genart

   Nix

6. to-md to-md Public

   Haskell