مكتبات مكتوبة بلغة Ada
synth
أداة إنشاء D / Ports التالية للأنظمة الحية (بديل لأدوات Portmaster و Portupgrade) (بواسطة jrmarino).
- 244
- ISC
Ada_Drivers_Library
كود مصدر Ada وعينة كاملة من مشاريع GNAT لمنصات لوحة مكشوفة مختارة مدعومة من GNAT.
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 هو الإصدار الجديد من SPARK ، وهي تقنية تطوير برمجيات مصممة خصيصًا لهندسة التطبيقات عالية الموثوقية.
- 208
- GNU General Public License v3.0 only
ada_language_server
خادم يطبق بروتوكول لغة Microsoft لكل من Ada و SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example هو تكيف لـ ACSL حسب المثال لـ SPARK 2014 ، وهي لغة برمجة هي مجموعة فرعية تم التحقق منها رسميًا من Ada.
- 146
aws
AWS عبارة عن إطار عمل كامل لتطوير التطبيقات المستندة إلى الويب في Ada. (بواسطة AdaCore).
- 115
- GNU General Public License v3.0
RecordFlux
المواصفات الرسمية وإنشاء محللات ثنائية قابلة للتحقق ، ومولدات الرسائل وآلات حالة البروتوكول.
- 92
- GNU Affero General Public License v3.0
gprbuild
GPRbuild هو نظام بناء متقدم مصمم للمساعدة في أتمتة إنشاء أنظمة متعددة اللغات.
- 55
- GNU General Public License v3.0
svd2ada
مولد ربط Ada من أوصاف SVD لأجهزة ARM ذات اللوحة العارية..
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
يحتوي هذا المشروع على العديد من أنظمة وقت تشغيل GNAT Ada (RTSs) التي تستهدف لوحات Cortex: حتى الآن ، Arduino Due ، ولوحات تقييم سلسلة STM32F4 من STMicroelectronics ، و BBC micro: bit (v1).
- 55
- GNU General Public License v3.0 only