PrototypeCommune
runtimeverification/haskell-backend
The symbolic execution engine powering the K Framework
- Propriétaire
- runtimeverification (organisation)
- Étoiles
- Étoiles : 229
- Forks
- Forks : 46
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2017
- 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/iele-semanticsÉtoiles : 130HTMLPrototype
- runtimeverification/kontrolÉtoiles : 127PythonPrototype
- runtimeverification/wasm-semanticsÉtoiles : 107WebAssemblyPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- ruHaskell/ruhaskellÉtoiles : 230HaskellPrototype
- fugue/fregotÉtoiles : 230HaskellPrototype
- aristanetworks/nix-serve-ngÉtoiles : 229HaskellPrototype
- diagrams/diagramsÉtoiles : 228HaskellPrototype
- yesodweb/yesod-cookbookÉtoiles : 228HaskellPrototype
- passy/givegifÉtoiles : 228HaskellPrototype