أدوات تطوير ومصدر مفتوح✦ملف تحريري
btcd
A Bitcoin full-node implementation written in Go.
☆ ٦٬٧١١ +٠ / 7dعرض الإدراج
أدوات تطوير ومصدر مفتوح
Certora/CertoraProver
مستودع GitHub عام، ولغته الأساسية Kotlin.
ماذا يقدم
Certora/CertoraProver مستودع GitHub عام، ولغته الأساسية Kotlin. تُظهر آخر لقطة محفوظة ٣٣٧ نجمة و٤٨ نسخة متفرعة (fork). المواضيع: blockchain, certora, certora prover, ethereum, formal verification, security tools. اقرأ الوثائق والترخيص والمشكلات المفتوحة الحالية قبل استخدام البرنامج.
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
مستودعات GitHub
- نجوم
- ٣٣٧
- نجوم مكتسبة · 7 أيام
- +٠
- تفريعات
- ٤٨
- لغة البرمجة الرئيسية
- Kotlin
- ترخيص المستودع
- GPL-3.0
- آخر دفع للشيفرة
- ١٤ أكتوبر ٢٠٢٦ م
الشعبية حسب نجوم GitHub. يظهر نمو الأسبوع بعد أسبوع كامل من اللقطات المحلية؛ هذا فهرسنا وليس ترتيب GitHub الرسمي.
المصادر وحداثة البيانات
GitHub ↗تحديث المصدر · ١٥ أكتوبر ٢٠٢٦ م
الإدراجات المستوردة توثّق مصادرها. تساعد على الاكتشاف ولا تعني توصية.