Developer tools & open source✦Editorial profile
btcd
A Bitcoin full-node implementation written in Go.
☆ 6,711 +0 / 7dView listing
Developer tools & open source
ProofOfKeags/btc-verified
Public crypto repository written primarily in Lean.
What it does
ProofOfKeags/btc-verified is a public GitHub repository with Lean as its primary reported language. GitHub reports 26 stars and 5 forks at the latest snapshot. Its topics include bitcoin, bitcoin-protocol, formal-methods, formal-verification, lean, lean4. Read the repository documentation, license and current issues before using the software.
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
GitHub repositories
- Stars
- 26
- Stars gained · 7 days
- —
- Forks
- 5
- Primary language
- Lean
- Repository license
- Apache-2.0
- Last code push
- 7 Oct 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
GitHub ↗Source refreshed · 16 Oct 2026
Imported records link to their sources. An entry is a discovery aid, not an endorsement.