PrototypeCommune
Consensys-Incorporated/evm-dafny
An EVM interpreter in Dafny
- Propriétaire
- Consensys-Incorporated (organisation)
- Étoiles
- Étoiles : 141
- Forks
- Forks : 9
- Langage
- Dafny
- Licence
- Apache-2.0
- Création
- 2022
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de Consensys-Incorporated
Les 7 dépôts de Consensys-Incorporated- Consensys-Incorporated/gnarkÉtoiles : 1 746GoBêta
- Consensys-Incorporated/tekuÉtoiles : 787JavaBêta
- Consensys-Incorporated/gnark-cryptoÉtoiles : 603GoAlpha
- Consensys-Incorporated/doc.lineaÉtoiles : 480JavaScriptAlpha
- Consensys-Incorporated/web3signerÉtoiles : 271JavaAlpha
- Consensys-Incorporated/linea-attestation-registryÉtoiles : 177TypeScriptPrototype
D’autres dépôts Dafny
Tous les dépôts Dafny- microsoft/IroncladÉtoiles : 272DafnyAlpha