capstonecapstone-engine
جديدإطار عمل مفتوح المصدر للتفكيك مكتوب بلغة C الخالصة، ويدعم أكثر من 20 معمارية، منها x86 وARM وAArch64 وRISC-V وMIPS وPowerPC، مع واجهة API محايدة وموثّقات تفصيلية لتحليل الملفات الثنائية والهندسة العكسية.
OPEN SOURCE, OPEN TO EVERYONE
مصدر مفتوح. آفاق جديدة.
اكتشف مشاريع مفتوحة المصدر عالية الجودة، وأرسل المشاريع بشكل مجهول، وطالب بمشروعك المفتوح المصدر وحرّره.
✳اختيار بشري · اكتشف مصادر مفتوحة جيدة4109تم اكتشافها
فضول صغير. عالم من المصادر المفتوحة.
THE FIRST COLLECTIONTopic: arm清除
synthpulseengine
جديدSynth هو مترجم WebAssembly إلى لغة الآلة (AOT) يستهدف ARM Cortex-M/R و RISC-V RV32IMAC و AArch64، مع براهين صحة ميكانيكية عبر Rocq وتحقق من الترجمة باستخدام SMT. المشروع في مرحلة ما قبل الإصدار، يركز على الأنظمة المدمجة، ومرخص بموجب Apache-2.0.
crosscross-rs
جديدأداة "بدون إعداد" لتجميع واختبار Rust crates عبر المنصات باستخدام Docker أو Podman.
takibitakibi-lang
جديدTakibi هي لغة أنظمة بحثية ونواة متجانسة متوافقة مع Linux-ABI، صُممت لتحويل إخفاقات تشغيل النواة إلى أخطاء وقت التجميع باستخدام أنواع التحسين (refinement types) والملكية الأفينية (affine ownership).
platformio-coreplatformio
جديدPlatformIO Core هي أداة سطر أوامر مفتوحة المصدر لتطوير البرمجيات المدمجة، توفر نظام بناء متعدد المنصات، وإدارة مكتبات، وتصحيح أخطاء، واختبار وحدات، وتحليل كود ثابت لمشاريع المتحكمات الدقيقة.