johnsonstephan/awesome-web3-formal-verification

ماذا يقدم

johnsonstephan/awesome-web3-formal-verification مستودع GitHub عام. تُظهر آخر لقطة محفوظة ٤٤ نجمة و٦ نسخة متفرعة (fork). المواضيع: awesome list, blockchain, blockchain service, defi, formal languages, formal methods. اقرأ الوثائق والترخيص والمشكلات المفتوحة الحالية قبل استخدام البرنامج.

A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.

مستودعات GitHub

نجوم

٤٤

نجوم مكتسبة · 7 أيام

—

تفريعات

٦

لغة البرمجة الرئيسية

لم يُفحص

ترخيص المستودع

لم يُفحص

آخر دفع للشيفرة

٥ مارس ٢٠٢٤ م

الشعبية حسب نجوم GitHub. يظهر نمو الأسبوع بعد أسبوع كامل من اللقطات المحلية؛ هذا فهرسنا وليس ترتيب GitHub الرسمي.

المصادر وحداثة البيانات

الإدراجات المستوردة توثّق مصادرها. تساعد على الاكتشاف ولا تعني توصية.