Geliştirici araçları ve açık kaynak✦Editoryal profil
btcd
A Bitcoin full-node implementation written in Go.
☆ 6.711 +0 / 7dKaydı görüntüle
Geliştirici araçları ve açık kaynak
ProofOfKeags/btc-verified
Herkese açık GitHub deposu, ana dili Lean.
Ne işe yarar
ProofOfKeags/btc-verified, herkese açık bir GitHub deposudur, ana dili Lean. Kaydedilen son anlık görüntüde 26 yıldız ve 5 fork bulunuyor. Konular: Bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. Yazılımı kullanmadan önce belgeleri, lisansı ve güncel issue kayıtlarını oku.
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
GitHub depoları
- Yıldız
- 26
- Kazanılan yıldız · 7 gün
- —
- Çatal
- 5
- Ana dil
- Lean
- Depo lisansı
- Apache-2.0
- Son kod gönderimi
- 7 Eki 2026
Popülerlik GitHub yıldızlarına göre. 7 günlük büyüme tam haftalık yerel kayıt sonrası görünür. Bu resmî GitHub trend listesi değildir.
Kaynaklar ve güncellik
GitHub ↗Kaynak güncellendi · 16 Eki 2026
İçe aktarılan kayıtlar kaynaklarına bağlıdır. Kayıt bir tavsiye değildir.