تحصيص وDeFi
hummingbot/hummingbot
مستودع GitHub عام، ولغته الأساسية Python.
☆ ٢٠٬٤٧٤ +١١٧ / 7dعرض الإدراج
ماذا يقدم
Veridise/Eurus مستودع GitHub عام، ولغته الأساسية Racket. تُظهر آخر لقطة محفوظة ٤٨ نجمة و٣ نسخة متفرعة (fork). المواضيع: defi, ethereum, الأمان, عقود ذكية, solidity, symbolic compilation. اقرأ الوثائق والترخيص والمشكلات المفتوحة الحالية قبل استخدام البرنامج.
Precise Attack Synthesis for DeFi Apps
مستودعات GitHub
- نجوم
- ٤٨
- نجوم مكتسبة · 7 أيام
- +٠
- تفريعات
- ٣
- لغة البرمجة الرئيسية
- Racket
- ترخيص المستودع
- GPL-3.0
- آخر دفع للشيفرة
- ١٥ أغسطس ٢٠٢٢ م
الشعبية حسب نجوم GitHub. يظهر نمو الأسبوع بعد أسبوع كامل من اللقطات المحلية؛ هذا فهرسنا وليس ترتيب GitHub الرسمي.
المصادر وحداثة البيانات
GitHub ↗تحديث المصدر · ١٦ أكتوبر ٢٠٢٦ م
الإدراجات المستوردة توثّق مصادرها. تساعد على الاكتشاف ولا تعني توصية.