PlatformIO Core هي أداة سطر أوامر مفتوحة المصدر لتطوير البرمجيات المدمجة، توفر نظام بناء متعدد المنصات، وإدارة مكتبات، وتصحيح أخطاء، واختبار وحدات، وتحليل كود ثابت لمشاريع المتحكمات الدقيقة.
مصدر مفتوح. آفاق جديدة.
اكتشف مشاريع مفتوحة المصدر عالية الجودة، وأرسل المشاريع بشكل مجهول، وطالب بمشروعك المفتوح المصدر وحرّره.
فضول صغير. عالم من المصادر المفتوحة.
THE FIRST COLLECTIONإطار عمل مفتوح المصدر للتفكيك مكتوب بلغة C الخالصة، ويدعم أكثر من 20 معمارية، منها x86 وARM وAArch64 وRISC-V وMIPS وPowerPC، مع واجهة API محايدة وموثّقات تفصيلية لتحليل الملفات الثنائية والهندسة العكسية.
Synth هو مترجم WebAssembly إلى لغة الآلة (AOT) يستهدف ARM Cortex-M/R و RISC-V RV32IMAC و AArch64، مع براهين صحة ميكانيكية عبر Rocq وتحقق من الترجمة باستخدام SMT. المشروع في مرحلة ما قبل الإصدار، يركز على الأنظمة المدمجة، ومرخص بموجب Apache-2.0.
واجهة برمجة تطبيقات (API) خفيفة الوزن مبنية باستخدام Elysia و FFmpeg لالتقاط لقطات شاشة وإنشاء صور GIF من روابط HLS لحلقات الأنمي.
أداة "بدون إعداد" لتجميع واختبار Rust crates عبر المنصات باستخدام Docker أو Podman.
Takibi هي لغة أنظمة بحثية ونواة متجانسة متوافقة مع Linux-ABI، صُممت لتحويل إخفاقات تشغيل النواة إلى أخطاء وقت التجميع باستخدام أنواع التحسين (refinement types) والملكية الأفينية (affine ownership).