أدوات تطوير ومصدر مفتوح✦ملف تحريري
btcd
A Bitcoin full-node implementation written in Go.
☆ ٦٬٧١١ +٠ / 7dعرض الإدراج
أدوات تطوير ومصدر مفتوح
Inferara/inference
مستودع GitHub عام، ولغته الأساسية Rust.
ماذا يقدم
Inferara/inference مستودع GitHub عام، ولغته الأساسية Rust. تُظهر آخر لقطة محفوظة ٢٥ نجمة و١٧ نسخة متفرعة (fork). المواضيع: compiler, formal specification, formal verification, programming language, الأمان, عقود ذكية. اقرأ الوثائق والترخيص والمشكلات المفتوحة الحالية قبل استخدام البرنامج.
🌀 Inference programming language
مستودعات GitHub
- نجوم
- ٢٥
- نجوم مكتسبة · 7 أيام
- —
- تفريعات
- ١٧
- لغة البرمجة الرئيسية
- Rust
- ترخيص المستودع
- GPL-3.0
- آخر دفع للشيفرة
- ١٠ أكتوبر ٢٠٢٦ م
الشعبية حسب نجوم GitHub. يظهر نمو الأسبوع بعد أسبوع كامل من اللقطات المحلية؛ هذا فهرسنا وليس ترتيب GitHub الرسمي.
المصادر وحداثة البيانات
GitHub ↗تحديث المصدر · ١٤ أكتوبر ٢٠٢٦ م
الإدراجات المستوردة توثّق مصادرها. تساعد على الاكتشاف ولا تعني توصية.