Dépôts de runtimeverification
7 dépôts publics de runtimeverification au catalogue, du plus étoilé au moins étoilé.
- runtimeverification/verified-smart-contractsÉtoiles : 749SolidityBêta
- runtimeverification/kÉtoiles : 600PythonAlpha
- runtimeverification/evm-semanticsÉtoiles : 595KCLAlpha
- runtimeverification/haskell-backendÉtoiles : 229HaskellPrototype
- runtimeverification/iele-semanticsÉtoiles : 130HTMLPrototype
- runtimeverification/kontrolÉtoiles : 127PythonPrototype
- runtimeverification/wasm-semanticsÉtoiles : 107WebAssemblyPrototype