Entwickler-Tools & Open Source✦Redaktionelles Profil
btcd
Eine in Go geschriebene Bitcoin-Full-Node-Implementierung.
☆ 6.711 +0 / 7dEintrag ansehen
Entwickler-Tools & Open Source
ProofOfKeags/btc-verified
Öffentliches GitHub-Repository mit Lean als Hauptprogrammiersprache.
Was du damit machen kannst
ProofOfKeags/btc-verified ist ein öffentliches GitHub-Repository mit Lean als angegebener Hauptprogrammiersprache. Der letzte gespeicherte Stand meldet 26 Sterne und 5 Forks. Themen: bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. Lies Dokumentation, Lizenz und aktuelle Issues, bevor du die Software nutzt.
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
GitHub-Repositories
- Sterne
- 26
- Neue Sterne · 7 Tage
- —
- Forks
- 5
- Hauptprogrammiersprache
- Lean
- Repository-Lizenz
- Apache-2.0
- Letzter Code-Push
- 7. Okt. 2026
Die Beliebtheit basiert auf GitHub-Sternen. Das Wachstum über sieben Tage erscheint nach einer vollständigen Woche gespeicherter Daten. Das ist unsere Sammlung, keine offizielle GitHub-Trending-Liste.
Quellen & Aktualität
GitHub ↗Quelle aktualisiert · 16. Okt. 2026
Importierte Einträge verlinken ihre Quellen. Ein Eintrag hilft dir beim Entdecken und ist keine Empfehlung.