# Consensys-Incorporated/evm-dafny

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

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

Consensys-Incorporated/evm-dafny, dépôt open source à 141 étoiles sur GitHub. Carte Prototype de RepoMasters. An EVM interpreter in Dafny Langage : Dafny.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [Consensys-Incorporated](https://repo.masters-masters.com/owners/Consensys-Incorporated) |
| Étoiles | 141 |
| Forks | 9 |
| Langage | [Dafny](https://repo.masters-masters.com/languages/dafny) |
| Licence | Apache-2.0 |
| Création | 2022 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [Consensys-Incorporated/evm-dafny](https://github.com/Consensys-Incorporated/evm-dafny) |

## Fiche du dépôt

An EVM interpreter in Dafny

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de Consensys-Incorporated

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

## D’autres dépôts Dafny

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.