PrototypeCommon
runtimeverification/haskell-backend
The symbolic execution engine powering the K Framework
- Owner
- runtimeverification (organization)
- Stars
- Stars: 229
- Forks
- Forks: 46
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2017
- 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: 600PythonAlpha
- runtimeverification/evm-semanticsStars: 595KCLAlpha
- runtimeverification/iele-semanticsStars: 130HTMLPrototype
- runtimeverification/kontrolStars: 127PythonPrototype
- runtimeverification/wasm-semanticsStars: 107WebAssemblyPrototype
Nearby in Haskell
All Haskell repos- ruHaskell/ruhaskellStars: 230HaskellPrototype
- fugue/fregotStars: 230HaskellPrototype
- aristanetworks/nix-serve-ngStars: 229HaskellPrototype
- diagrams/diagramsStars: 228HaskellPrototype
- yesodweb/yesod-cookbookStars: 228HaskellPrototype
- passy/givegifStars: 228HaskellPrototype