GitHub repos by runtimeverification
7 public repos by runtimeverification in the catalog, most starred first.
- runtimeverification/verified-smart-contractsStars: 749SolidityBeta
- runtimeverification/kStars: 600PythonAlpha
- runtimeverification/evm-semanticsStars: 595KCLAlpha
- runtimeverification/haskell-backendStars: 229HaskellPrototype
- runtimeverification/iele-semanticsStars: 130HTMLPrototype
- runtimeverification/kontrolStars: 127PythonPrototype
- runtimeverification/wasm-semanticsStars: 107WebAssemblyPrototype