Knižnice napísané v Adae
synth
Ďalší nástroj na zostavenie D/Ports pre živé systémy (alternatíva pre nástroje Portmaster a Portupgrade) (od jrmarino).
- 244
- ISC
alire
Nástroj príkazového riadka z projektu Alire a podpornej knižnice.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Zdrojový kód Ada a kompletné vzorové projekty GNAT pre vybrané platformy s bežnou doskou podporované GNAT.
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 je nová verzia SPARK, technológie vývoja softvéru špeciálne navrhnutej na navrhovanie aplikácií s vysokou spoľahlivosťou.
- 208
- GNU General Public License v3.0 only
ada_language_server
Server implementujúci jazykový protokol Microsoft pre Ada a SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example je adaptáciou ACSL by Example pre SPARK 2014, programovací jazyk, ktorý je formálne overenou podmnožinou Ada.
- 146
aws
AWS je kompletný rámec na vývoj webových aplikácií v Ada. (od AdaCore).
- 115
- GNU General Public License v3.0
RecordFlux
Formálna špecifikácia a generovanie overiteľných binárnych syntaktických analyzátorov, generátorov správ a stavových automatov protokolov.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada Web Application – Framework na vytváranie vysokovýkonných bezpečných webových aplikácií.
- 85
- Apache License 2.0
gprbuild
GPRbuild je pokročilý systém zostavovania navrhnutý tak, aby pomohol automatizovať konštrukciu viacjazyčných systémov.
- 55
- GNU General Public License v3.0
svd2ada
Generátor väzby Ada z popisov SVD pre zariadenia ARM s holou doskou.
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Tento projekt obsahuje rôzne systémy GNAT Ada Run Time Systems (RTS) zamerané na dosky Cortex: zatiaľ Arduino Due, hodnotiace dosky série STM32F4 od STMicroelectronics a BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only
