AlphaUncommon
runtimeverification/k
K Framework Tools 7.0
- Owner
- runtimeverification (organization)
- Stars
- Stars: 600
- Forks
- Forks: 164
- Language
- Python
- License
- BSD-3-Clause
- Created
- 2016
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by runtimeverification
All 7 repos by runtimeverification- runtimeverification/verified-smart-contractsStars: 749SolidityBeta
- runtimeverification/evm-semanticsStars: 595KCLAlpha
- runtimeverification/haskell-backendStars: 229HaskellPrototype
- runtimeverification/iele-semanticsStars: 130HTMLPrototype
- runtimeverification/kontrolStars: 127PythonPrototype
- runtimeverification/wasm-semanticsStars: 107WebAssemblyPrototype
Nearby in Python
All Python repos- transilienceai/communitytoolsStars: 600PythonAlpha
- awslabs/fullstack-solution-template-for-agentcoreStars: 600PythonAlpha
- zenstory-ai/video-recap-skillsStars: 600PythonAlpha
- jdavisp3/twisted-introStars: 600PythonAlpha
- swdunlop/AndBugStars: 600PythonAlpha
- ArduPilot/MAVProxyStars: 600PythonAlpha