leanEthereum/leanSpec

What it does

leanEthereum/leanSpec is a public GitHub repository with Python as its primary reported language. GitHub reports 143 stars and 85 forks at the latest snapshot. Its topics include eth, ethereum, ethereum-testing, lean-ethereum, post-quantum-cryptography. Read the repository documentation, license and current issues before using the software.

Lean Ethereum protocol specifications and test vector generation framework.

GitHub repositories

Stars

143

Stars gained · 7 days

—

Forks

85

Primary language

Python

Repository license

MIT

Last code push

2 Sep 2026

Popularity comes from GitHub stars. Seven-day growth appears after a full week of local snapshots; this is our collection, not GitHub’s official trending chart.

Sources & freshness

Imported records link to their sources. An entry is a discovery aid, not an endorsement.