AlphaPeu commune
runtimeverification/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
- Propriétaire
- runtimeverification (organisation)
- Étoiles
- Étoiles : 595
- Forks
- Forks : 160
- Langage
- KCL
- Licence
- BSD-3-Clause
- Création
- 2016
- Rang
- Alpha (250 à 699 ★) 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/haskell-backendÉtoiles : 229HaskellPrototype
- runtimeverification/iele-semanticsÉtoiles : 130HTMLPrototype
- runtimeverification/kontrolÉtoiles : 127PythonPrototype
- runtimeverification/wasm-semanticsÉtoiles : 107WebAssemblyPrototype
D’autres dépôts KCL
Tous les dépôts KCL- upbound/platform-ref-awsÉtoiles : 117KCLPrototype
- nosuchtim/keykitÉtoiles : 110KCLPrototype