PrototypeCommune
runtimeverification/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
- Propriétaire
- runtimeverification (organisation)
- Étoiles
- Étoiles : 130
- Forks
- Forks : 31
- Langage
- HTML
- Licence
- Aucune
- 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/haskell-backendÉtoiles : 229HaskellPrototype
- runtimeverification/kontrolÉtoiles : 127PythonPrototype
- runtimeverification/wasm-semanticsÉtoiles : 107WebAssemblyPrototype
D’autres dépôts HTML
Tous les dépôts HTML- x7780/immortalwrt-ActiosÉtoiles : 130HTMLPrototype
- KJGX66F/smart-navÉtoiles : 130HTMLPrototype
- Xnmk029/Xnmk_LibraryÉtoiles : 130HTMLPrototype
- Atlantic18/ORMCheatSheetÉtoiles : 130HTMLPrototype
- jlord/forkngoÉtoiles : 130HTMLPrototype
- OCA/account-analyticÉtoiles : 130HTMLPrototype