Biblioteki napisane w Ada
synth
Narzędzie do budowania Next D/Ports dla systemów na żywo (alternatywa dla narzędzi Portmaster i Portupgrade) (autor: jrmarino).
- 244
- ISC
alire
Narzędzie wiersza poleceń z projektu Alire i biblioteki pomocniczej.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Kod źródłowy Ady i kompletne przykładowe projekty GNAT dla wybranych platform bez płyty głównej obsługiwanych przez GNAT..
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 to nowa wersja SPARK, technologii tworzenia oprogramowania zaprojektowanej specjalnie do inżynierii aplikacji o wysokiej niezawodności.
- 208
- GNU General Public License v3.0 only
ada_language_server
Serwer implementujący protokół Microsoft Language Protocol dla Ada i SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example to adaptacja ACSL by Example dla SPARK 2014, języka programowania, który jest formalnie zweryfikowanym podzbiorem Ady.
- 146
aws
AWS to kompletny framework do tworzenia aplikacji internetowych w Adzie. (przez AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
SPARK 2014 reimplementacja biblioteki kryptograficznej TweetNaCl.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Specyfikacja formalna i generowanie weryfikowalnych parserów binarnych, generatorów komunikatów i maszyn stanu protokołów.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada Web Application - Framework do tworzenia bezpiecznych aplikacji internetowych o wysokiej wydajności.
- 85
- Apache License 2.0
bare_bones
Kod źródłowy samouczka programowania Ada Bare Bones OS.
- 78
- GNU General Public License v3.0
gprbuild
GPRbuild to zaawansowany system kompilacji zaprojektowany w celu zautomatyzowania budowy systemów wielojęzycznych.
- 55
- GNU General Public License v3.0
svd2ada
Generator powiązań Ada z opisów SVD dla urządzeń ARM z gołą płytą.
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Ten projekt zawiera różne systemy GNAT Ada Run Time Systems (RTS) przeznaczone dla płytek Cortex: jak dotąd Arduino Due, płytki ewaluacyjne z serii STM32F4 firmy STMicroelectronics oraz BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only
VSS
Biblioteka wysokiego poziomu łańcuchów i przetwarzania tekstu.
- 46
- GNU General Public License v3.0