Knihovny napsané v Adau
synth
Další nástroj pro tvorbu D/Ports pro živé systémy (alternativa pro nástroje Portmaster a Portupgrade) (od jrmarino).
- 244
- ISC
alire
Nástroj příkazového řádku z projektu Alire a podpůrné knihovny.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Zdrojový kód Ada a kompletní vzorové projekty GNAT pro vybrané platformy s holou deskou podporované GNAT.
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 je nová verze SPARK, technologie vývoje softwaru speciálně navržená pro navrhování vysoce spolehlivých aplikací.
- 208
- GNU General Public License v3.0 only
ada_language_server
Server implementující jazykový protokol Microsoft pro Ada a SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example je adaptace ACSL by Example pro SPARK 2014, programovací jazyk, který je formálně ověřenou podmnožinou Ada.
- 146
aws
AWS je kompletní rámec pro vývoj webových aplikací v Ada. (od AdaCore).
- 115
- GNU General Public License v3.0
RecordFlux
Formální specifikace a generování ověřitelných binárních parserů, generátorů zpráv a stavových automatů protokolů.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada webová aplikace – rámec pro vytváření vysoce výkonných bezpečných webových aplikací.
- 85
- Apache License 2.0
bare_bones
Zdrojový kód výukového programu pro vývoj operačního systému Ada Bare Bones.
- 78
- GNU General Public License v3.0
gprbuild
GPRbuild je pokročilý systém sestavování navržený tak, aby pomohl automatizovat konstrukci vícejazyčných systémů.
- 55
- GNU General Public License v3.0
svd2ada
Generátor vazby Ada z popisů SVD pro zařízení ARM na holé desce.
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Tento projekt obsahuje různé GNAT Ada Run Time Systems (RTS) zaměřené na desky Cortex: zatím Arduino Due, vyhodnocovací desky řady STM32F4 od STMicroelectronics a BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only