# Consensys-Incorporated/evm-dafny

<https://repo.masters-masters.com/en/repos/Consensys-Incorporated/evm-dafny>

[Home](https://repo.masters-masters.com/en) › [Consensys-Incorporated](https://repo.masters-masters.com/en/owners/Consensys-Incorporated) › [evm-dafny](https://repo.masters-masters.com/en/repos/Consensys-Incorporated/evm-dafny)

Consensys-Incorporated/evm-dafny has 141 stars on GitHub. Its RepoMasters card: Prototype tier. An EVM interpreter in Dafny Language: Dafny.

| Field | Value |
| --- | --- |
| Owner | [Consensys-Incorporated](https://repo.masters-masters.com/en/owners/Consensys-Incorporated) |
| Stars | 141 |
| Forks | 9 |
| Language | [Dafny](https://repo.masters-masters.com/en/languages/dafny) |
| License | Apache-2.0 |
| Created | 2022 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [Consensys-Incorporated/evm-dafny](https://github.com/Consensys-Incorporated/evm-dafny) |

## Repository

An EVM interpreter in Dafny

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by Consensys-Incorporated

- [Consensys-Incorporated/gnark · ★ 1,746 · Go · Beta](https://repo.masters-masters.com/en/repos/Consensys-Incorporated/gnark)
- [Consensys-Incorporated/teku · ★ 787 · Java · Beta](https://repo.masters-masters.com/en/repos/Consensys-Incorporated/teku)
- [Consensys-Incorporated/gnark-crypto · ★ 603 · Go · Alpha](https://repo.masters-masters.com/en/repos/Consensys-Incorporated/gnark-crypto)
- [Consensys-Incorporated/doc.linea · ★ 480 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/Consensys-Incorporated/doc.linea)
- [Consensys-Incorporated/web3signer · ★ 271 · Java · Alpha](https://repo.masters-masters.com/en/repos/Consensys-Incorporated/web3signer)
- [Consensys-Incorporated/linea-attestation-registry · ★ 176 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/Consensys-Incorporated/linea-attestation-registry)

## Nearby in Dafny

- [microsoft/Ironclad · ★ 272 · Dafny · Alpha](https://repo.masters-masters.com/en/repos/microsoft/Ironclad)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.