أدوات تطوير ومصدر مفتوح✦ملف تحريري
btcd
A Bitcoin full-node implementation written in Go.
☆ ٦٬٧١١ +٠ / 7dعرض الإدراج
أدوات تطوير ومصدر مفتوح
ProofOfKeags/btc-verified
مستودع GitHub عام، ولغته الأساسية Lean.
ماذا يقدم
ProofOfKeags/btc-verified مستودع GitHub عام، ولغته الأساسية Lean. تُظهر آخر لقطة محفوظة ٢٦ نجمة و٥ نسخة متفرعة (fork). المواضيع: Bitcoin, bitcoin protocol, formal methods, formal verification, lean, lean4. اقرأ الوثائق والترخيص والمشكلات المفتوحة الحالية قبل استخدام البرنامج.
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
مستودعات GitHub
- نجوم
- ٢٦
- نجوم مكتسبة · 7 أيام
- —
- تفريعات
- ٥
- لغة البرمجة الرئيسية
- Lean
- ترخيص المستودع
- Apache-2.0
- آخر دفع للشيفرة
- ٧ أكتوبر ٢٠٢٦ م
الشعبية حسب نجوم GitHub. يظهر نمو الأسبوع بعد أسبوع كامل من اللقطات المحلية؛ هذا فهرسنا وليس ترتيب GitHub الرسمي.
المصادر وحداثة البيانات
GitHub ↗تحديث المصدر · ١٦ أكتوبر ٢٠٢٦ م
الإدراجات المستوردة توثّق مصادرها. تساعد على الاكتشاف ولا تعني توصية.