PrototypeCommon
Consensys-Incorporated/evm-dafny
An EVM interpreter in Dafny
- Owner
- Consensys-Incorporated (organization)
- Stars
- Stars: 141
- Forks
- Forks: 9
- Language
- Dafny
- License
- Apache-2.0
- Created
- 2022
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by Consensys-Incorporated
All 7 repos by Consensys-Incorporated- Consensys-Incorporated/gnarkStars: 1,746GoBeta
- Consensys-Incorporated/tekuStars: 787JavaBeta
- Consensys-Incorporated/gnark-cryptoStars: 603GoAlpha
- Consensys-Incorporated/doc.lineaStars: 480JavaScriptAlpha
- Consensys-Incorporated/web3signerStars: 271JavaAlpha
- Consensys-Incorporated/linea-attestation-registryStars: 176TypeScriptPrototype
Nearby in Dafny
All Dafny repos- microsoft/IroncladStars: 272DafnyAlpha