# leanEthereum/leanSpec

<https://repo.masters-masters.com/repos/leanEthereum/leanSpec>

[Accueil](https://repo.masters-masters.com/) › [leanEthereum](https://repo.masters-masters.com/owners/leanEthereum) › [leanSpec](https://repo.masters-masters.com/repos/leanEthereum/leanSpec)

leanEthereum/leanSpec, dépôt open source à 145 étoiles sur GitHub. Carte Prototype de RepoMasters. Lean Ethereum protocol specifications and test vector…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [leanEthereum](https://repo.masters-masters.com/owners/leanEthereum) |
| Étoiles | 145 |
| Forks | 85 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | MIT |
| Création | 2025 |
| Sujets | eth, ethereum, ethereum-testing, lean-ethereum, post-quantum-cryptography |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [leanEthereum/leanSpec](https://github.com/leanEthereum/leanSpec) |

## Fiche du dépôt

Lean Ethereum protocol specifications and test vector generation framework.

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 leanEthereum

- [leanEthereum/leanVM · ★ 178 · Lean · Prototype](https://repo.masters-masters.com/repos/leanEthereum/leanVM)

## D’autres dépôts Python

- [apimart-API-Gateway/grok-image-api · ★ 145 · Python · Prototype](https://repo.masters-masters.com/repos/apimart-API-Gateway/grok-image-api)
- [Saekisui/binaural-voice · ★ 145 · Python · Prototype](https://repo.masters-masters.com/repos/Saekisui/binaural-voice)
- [PolyU-VCLab/OmniCompass · ★ 145 · Python · Prototype](https://repo.masters-masters.com/repos/PolyU-VCLab/OmniCompass)
- [garethr/django-test-extensions · ★ 145 · Python · Prototype](https://repo.masters-masters.com/repos/garethr/django-test-extensions)
- [progrium/hookah · ★ 145 · Python · Prototype](https://repo.masters-masters.com/repos/progrium/hookah)
- [carljm/django-form-utils · ★ 145 · Python · Prototype](https://repo.masters-masters.com/repos/carljm/django-form-utils)

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