أدوات تطوير ومصدر مفتوح✦ملف تحريري
btcd
A Bitcoin full-node implementation written in Go.
☆ ٦٬٧١١ +٠ / 7dعرض الإدراج
ماذا يقدم
Certora/SecurityReports مستودع GitHub عام. تُظهر آخر لقطة محفوظة ٣٤ نجمة و٣ نسخة متفرعة (fork). المواضيع: blockchain, certora, certora prover, ethereum, formal verification, security audits. اقرأ الوثائق والترخيص والمشكلات المفتوحة الحالية قبل استخدام البرنامج.
Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.
مستودعات GitHub
- نجوم
- ٣٤
- نجوم مكتسبة · 7 أيام
- +١
- تفريعات
- ٣
- لغة البرمجة الرئيسية
- لم يُفحص
- ترخيص المستودع
- لم يُفحص
- آخر دفع للشيفرة
- ٢٤ أغسطس ٢٠٢٦ م
الشعبية حسب نجوم GitHub. يظهر نمو الأسبوع بعد أسبوع كامل من اللقطات المحلية؛ هذا فهرسنا وليس ترتيب GitHub الرسمي.
المصادر وحداثة البيانات
GitHub ↗تحديث المصدر · ١٥ أكتوبر ٢٠٢٦ م
الإدراجات المستوردة توثّق مصادرها. تساعد على الاكتشاف ولا تعني توصية.