أدوات تطوير ومصدر مفتوح✦ملف تحريري
btcd
A Bitcoin full-node implementation written in Go.
☆ ٦٬٧١١ +٠ / 7dعرض الإدراج
ماذا يقدم
kupl/VeriSmart-public مستودع GitHub عام، ولغته الأساسية OCaml. تُظهر آخر لقطة محفوظة ٩٥ نجمة و٢٥ نسخة متفرعة (fork). المواضيع: blockchain, ethereum, formal verification, program analysis, عقود ذكية, solidity. اقرأ الوثائق والترخيص والمشكلات المفتوحة الحالية قبل استخدام البرنامج.
a safety verifier for Solidity smart contracts
مستودعات GitHub
- نجوم
- ٩٥
- نجوم مكتسبة · 7 أيام
- +٠
- تفريعات
- ٢٥
- لغة البرمجة الرئيسية
- OCaml
- ترخيص المستودع
- لم يُفحص
- آخر دفع للشيفرة
- ١٧ يناير ٢٠٢٣ م
الشعبية حسب نجوم GitHub. يظهر نمو الأسبوع بعد أسبوع كامل من اللقطات المحلية؛ هذا فهرسنا وليس ترتيب GitHub الرسمي.
المصادر وحداثة البيانات
GitHub ↗تحديث المصدر · ١٦ أكتوبر ٢٠٢٦ م
الإدراجات المستوردة توثّق مصادرها. تساعد على الاكتشاف ولا تعني توصية.