PrototypeCommune
runtimeverification/kontrol
Pas de description.
- Propriétaire
- runtimeverification (organisation)
- Étoiles
- Étoiles : 127
- Forks
- Forks : 18
- Langage
- Python
- Licence
- BSD-3-Clause
- Création
- 2023
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de runtimeverification
Les 7 dépôts de runtimeverification- 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/wasm-semanticsÉtoiles : 107WebAssemblyPrototype
D’autres dépôts Python
Tous les dépôts Python- malfite-labs/aix-skillÉtoiles : 127PythonPrototype
- EpicRealmTitle/call-of-duty-modern-warfare-4-fps-optimizerÉtoiles : 127PythonPrototype
- sanjayadanushka712/TaskFlowÉtoiles : 127PythonPrototype
- ghoseb/planet.clojureÉtoiles : 127PythonPrototype
- MeirKriheli/python-bidiÉtoiles : 127PythonPrototype
- vim-scripts/UltiSnipsÉtoiles : 127PythonPrototype