In Ada geschriebene Bibliotheken
synth
Nächstes D/Ports-Build-Tool für Live-Systeme (Alternative für Portmaster- und Portupgrade-Tools) (von jrmarino).
- 244
- ISC
alire
Befehlszeilentool aus dem Alire-Projekt und unterstützender Bibliothek.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Ada-Quellcode und vollständige Beispiel-GNAT-Projekte für ausgewählte Bare-Board-Plattformen, die von GNAT unterstützt werden.
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 ist die neue Version von SPARK, einer Softwareentwicklungstechnologie, die speziell für die Entwicklung hochzuverlässiger Anwendungen entwickelt wurde.
- 208
- GNU General Public License v3.0 only
ada_language_server
Server, der das Microsoft Language Protocol für Ada und SPARK implementiert.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by example ist eine Adaption von ACSL by example für SPARK 2014, einer Programmiersprache, die eine formal verifizierte Teilmenge von Ada ist.
- 146
aws
AWS ist ein vollständiges Framework zur Entwicklung webbasierter Anwendungen in Ada. (von AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
SPARK 2014 Neuimplementierung der TweetNaCl-Kryptobibliothek.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Formale Spezifikation und Generierung überprüfbarer binärer Parser, Nachrichtengeneratoren und Protokollzustandsmaschinen.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada Web Application – Framework zum Erstellen leistungsstarker sicherer Webanwendungen.
- 85
- Apache License 2.0
bare_bones
Quellcode des Ada Bare Bones OS-Entwicklungs-Tutorials.
- 78
- GNU General Public License v3.0
gprbuild
GPRbuild ist ein fortschrittliches Build-System, das dazu dient, die Erstellung mehrsprachiger Systeme zu automatisieren.
- 55
- GNU General Public License v3.0
svd2ada
Ein Ada-Bindungsgenerator aus SVD-Beschreibungen für Bareboard-ARM-Geräte.
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Dieses Projekt enthält verschiedene GNAT Ada Run Time Systems (RTSs), die auf Cortex-Boards ausgerichtet sind: bisher das Arduino Due, die Evaluierungsboards der STM32F4-Serie von STMicroelectronics und das BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only