أدوات تطوير ومصدر مفتوح✦ملف تحريري
btcd
A Bitcoin full-node implementation written in Go.
☆ ٦٬٧١١ +٠ / 7dعرض الإدراج
أدوات تطوير ومصدر مفتوح
AU-COBRA/ConCert
مستودع GitHub عام، ولغته الأساسية Rocq Prover.
ماذا يقدم
AU-COBRA/ConCert مستودع GitHub عام، ولغته الأساسية Rocq Prover. تُظهر آخر لقطة محفوظة ١٢٩ نجمة و٢٢ نسخة متفرعة (fork). المواضيع: blockchain, coq, عقود ذكية, verification. اقرأ الوثائق والترخيص والمشكلات المفتوحة الحالية قبل استخدام البرنامج.
A framework for smart contract verification in Coq
مستودعات GitHub
- نجوم
- ١٢٩
- نجوم مكتسبة · 7 أيام
- +٠
- تفريعات
- ٢٢
- لغة البرمجة الرئيسية
- Rocq Prover
- ترخيص المستودع
- MIT
- آخر دفع للشيفرة
- ٢٥ أغسطس ٢٠٢٦ م
الشعبية حسب نجوم GitHub. يظهر نمو الأسبوع بعد أسبوع كامل من اللقطات المحلية؛ هذا فهرسنا وليس ترتيب GitHub الرسمي.
المصادر وحداثة البيانات
GitHub ↗تحديث المصدر · ١٥ أكتوبر ٢٠٢٦ م
الإدراجات المستوردة توثّق مصادرها. تساعد على الاكتشاف ولا تعني توصية.