Narzędzia programistyczne i open source✦Profil redakcyjny
btcd
A Bitcoin full-node implementation written in Go.
☆ 6 711 +0 / 7dZobacz wpis
Narzędzia programistyczne i open source
ProofOfKeags/btc-verified
Publiczne repozytorium GitHub, głównie w języku Lean.
Do czego służy
ProofOfKeags/btc-verified to publiczne repozytorium GitHub, głównie w języku Lean. Ostatni zapisany odczyt podaje: gwiazdki — 26, forki — 5. Tematy: Bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. Przed użyciem programu przeczytaj dokumentację, licencję i aktualne zgłoszenia problemów.
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
Repozytoria GitHub
- Gwiazdki
- 26
- Przyrost gwiazdek · 7 dni
- —
- Forki
- 5
- Główny język
- Lean
- Licencja repozytorium
- Apache-2.0
- Ostatni push kodu
- 7 paź 2026
Popularność według gwiazdek GitHub. Wzrost 7-dniowy wymaga tygodnia lokalnych zapisów. To nie oficjalny ranking trendów GitHub.
Źródła i aktualność
GitHub ↗Źródło odświeżono · 16 paź 2026
Importowane wpisy wskazują źródła. Wpis pomaga odkrywać, nie jest rekomendacją.