PrototypeCommune
runtimeverification/wasm-semantics
A Formal Semantics of WebAssembly in K
- Propriétaire
- runtimeverification (organisation)
- Étoiles
- Étoiles : 107
- Forks
- Forks : 26
- Langage
- WebAssembly
- Licence
- Aucune
- Création
- 2015
- 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/kontrolÉtoiles : 127PythonPrototype
D’autres dépôts WebAssembly
Tous les dépôts WebAssembly- PeterHuZQ/EOS-DappÉtoiles : 115WebAssemblyPrototype
- xiaoyu1998/web3.learningÉtoiles : 112WebAssemblyPrototype
- kign/c4waÉtoiles : 110WebAssemblyPrototype
- WebAssembly/function-referencesÉtoiles : 105WebAssemblyPrototype
- hemashushu/practice-wasmÉtoiles : 104WebAssemblyPrototype
- KhronosGroupArchives/Basis-Universal-TranscodersÉtoiles : 102WebAssemblyPrototype