کتابخانه های نوشته شده با جاوا اسکریپت
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
سرور اجرای پروتکل زبان مایکروسافت برای Ada و SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example اقتباسی از ACSL توسط Example برای SPARK 2014 است، یک زبان برنامه نویسی که به طور رسمی زیر مجموعه Ada تأیید شده است.
- 146
aws
AWS یک چارچوب کامل برای توسعه برنامه های کاربردی مبتنی بر وب در Ada است. (توسط AdaCore).
- 115
- GNU General Public License v3.0
RecordFlux
مشخصات رسمی و تولید تجزیه کننده های باینری قابل تأیید، مولدهای پیام و ماشین های حالت پروتکل.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada Web Application - چارچوبی برای ساخت برنامه های کاربردی وب ایمن با کارایی بالا.
- 85
- Apache License 2.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 Run Time (RTS) است که برای بردهای Cortex هدف قرار گرفته‌اند: تا کنون، Arduino Due، بردهای ارزیابی سری STM32F4 از STMicroelectronics، و micro:bit (v1) BBC.
- 55
- GNU General Public License v3.0 only
