In Ada geschriebene Bibliotheken

septum

Kontextbasiertes Codesuchtool.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio ist eine leistungsstarke und leichte IDE für Ada und SPARK.
  • 335

AdaDoom3

Id-tech-4-BFG von Id Software in der Programmiersprache Ada.
  • 246

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

gnat-llvm

LLVM-basierter GNAT-Compiler.
  • 155

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

libadalang

Ada-Bibliothek für semantische Analyse.
  • 132
  • GNU General Public License v3.0

aws

AWS ist ein vollständiges Framework zur Entwicklung webbasierter Anwendungen in Ada. (von AdaCore).
  • 115
  • GNU General Public License v3.0

sdlada

Ada 2012-Bindungen an SDL 2.
  • 99
  • zlib

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

steamsky

Roguelike-Spiegel im Himmel mit Steampunk-Kulisse.
  • 88

OpenGLAda

Dicke Ada-Bindung für OpenGL und GLFW.
  • 86
  • MIT

hac

HAC Ada Compiler – ein kleiner, schneller Ada-Compiler vollständig in Ada.
  • 86

ada-awa

Ada Web Application – Framework zum Erstellen leistungsstarker sicherer Webanwendungen.
  • 85
  • Apache License 2.0

learn

Quellen für learn.adacore.com (von AdaCore).
  • 79
  • Creative Commons Attribution 4.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

orka

Der OpenGL 4.6 Rendering-Kernel in Ada 2012.
  • 50
  • Apache License 2.0

VSS

Hochwertige String- und Textverarbeitungsbibliothek.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

GNAT Components Collection – Kernpakete.
  • 44
  • GNU General Public License v3.0

adawebpack

Ada WASM Runtime und Bindungen für die Web-API.
  • 41
  • BSD 3-clause "New" or "Revised"

dashera

DasherA ist ein Data General DASHER D200/D210-Terminalemulator.
  • 35
  • MIT

json-ada

Eine Ada 2012-Bibliothek zum Parsen von JSON.
  • 35
  • Apache License 2.0