PrototypeCommon
runtimeverification/kontrol
No description.
- Owner
- runtimeverification (organization)
- Stars
- Stars: 127
- Forks
- Forks: 18
- Language
- Python
- License
- BSD-3-Clause
- Created
- 2023
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by runtimeverification
All 7 repos by runtimeverification- runtimeverification/verified-smart-contractsStars: 749SolidityBeta
- runtimeverification/kStars: 603PythonAlpha
- runtimeverification/evm-semanticsStars: 595KCLAlpha
- runtimeverification/haskell-backendStars: 229HaskellPrototype
- runtimeverification/iele-semanticsStars: 130HTMLPrototype
- runtimeverification/wasm-semanticsStars: 107WebAssemblyPrototype
Nearby in Python
All Python repos- SifuInTheShell/EffigyStars: 127PythonPrototype
- EpicRealmTitle/call-of-duty-modern-warfare-4-fps-optimizerStars: 127PythonPrototype
- 1314521gjy/ComfyUI-Local-Infinite-CanvasStars: 127PythonPrototype
- ghoseb/planet.clojureStars: 127PythonPrototype
- MeirKriheli/python-bidiStars: 127PythonPrototype
- vim-scripts/UltiSnipsStars: 127PythonPrototype