Ontwikkelaarstools en open source✦Redactioneel profiel
btcd
A Bitcoin full-node implementation written in Go.
☆ 6.711 +0 / 7dVermelding bekijken
Ontwikkelaarstools en open source
ProofOfKeags/btc-verified
Openbare GitHub-repository, voornamelijk in Lean.
Wat het doet
ProofOfKeags/btc-verified is een openbare GitHub-repository, voornamelijk in Lean. De laatst opgeslagen momentopname vermeldt 26 sterren en 5 forks. Onderwerpen: Bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. Lees de documentatie, licentie en actuele issues voordat je de software gebruikt.
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
GitHub-repositories
- Sterren
- 26
- Sterren erbij · 7 dagen
- —
- Forks
- 5
- Hoofdtaal
- Lean
- Repositorylicentie
- Apache-2.0
- Laatste codepush
- 7 okt. 2026
Populariteit volgt GitHub-sterren. Groei over 7 dagen vereist een volle week lokale metingen. Dit is geen officiële GitHub-trendlijst.
Bronnen en actualiteit
GitHub ↗Bron vernieuwd · 16 okt. 2026
Importvermeldingen linken naar hun bron. Een vermelding helpt ontdekken, maar is geen aanbeveling.