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
verse-lab/toychain
Herkese açık GitHub deposu, ana dili Coq.
Ne işe yarar
verse-lab/toychain, herkese açık bir GitHub deposudur, ana dili Coq. Kaydedilen son anlık görüntüde 113 yıldız ve 12 fork bulunuyor. Konular: blockchain, consensus, coq, distributed systems. Yazılımı kullanmadan önce belgeleri, lisansı ve güncel issue kayıtlarını oku.
A minimalistic blockchain consensus implemented and verified in Coq
GitHub depoları
- Yıldız
- 113
- Kazanılan yıldız · 7 gün
- —
- Çatal
- 12
- Ana dil
- Coq
- Depo lisansı
- BSD-2-Clause
- Son kod gönderimi
- 13 Nis 2020
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 · 14 Eki 2026
İçe aktarılan kayıtlar kaynaklarına bağlıdır. Kayıt bir tavsiye değildir.