أدوات تطوير ومصدر مفتوح✦ملف تحريري
btcd
A Bitcoin full-node implementation written in Go.
☆ ٦٬٧١١ +٠ / 7dعرض الإدراج
ماذا يقدم
verse-lab/toychain مستودع GitHub عام، ولغته الأساسية Coq. تُظهر آخر لقطة محفوظة ١١٣ نجمة و١٢ نسخة متفرعة (fork). المواضيع: blockchain, consensus, coq, distributed systems. اقرأ الوثائق والترخيص والمشكلات المفتوحة الحالية قبل استخدام البرنامج.
A minimalistic blockchain consensus implemented and verified in Coq
مستودعات GitHub
- نجوم
- ١١٣
- نجوم مكتسبة · 7 أيام
- —
- تفريعات
- ١٢
- لغة البرمجة الرئيسية
- Coq
- ترخيص المستودع
- BSD-2-Clause
- آخر دفع للشيفرة
- ١٣ أبريل ٢٠٢٠ م
الشعبية حسب نجوم GitHub. يظهر نمو الأسبوع بعد أسبوع كامل من اللقطات المحلية؛ هذا فهرسنا وليس ترتيب GitHub الرسمي.
المصادر وحداثة البيانات
GitHub ↗تحديث المصدر · ١٤ أكتوبر ٢٠٢٦ م
الإدراجات المستوردة توثّق مصادرها. تساعد على الاكتشاف ولا تعني توصية.