Biblioteki napisane w Ada

septum

Kontekstowe narzędzie do wyszukiwania kodu.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio to potężne i lekkie IDE dla Ady i SPARK.
  • 335

AdaDoom3

Id-tech-4-BFG firmy Id Software w języku programowania Ada.
  • 246

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

gnat-llvm

Kompilator GNAT oparty na LLVM.
  • 155

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

libadalang

Biblioteka analizy semantycznej Ada..
  • 132
  • GNU General Public License v3.0

aws

AWS to kompletny framework do tworzenia aplikacji internetowych w Adzie. (przez AdaCore).
  • 115
  • GNU General Public License v3.0

sdlada

Wiązania Ady 2012 z SDL 2.
  • 99
  • zlib

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

steamsky

Lustro roguelike na niebie ze steampunkową scenerią.
  • 88

OpenGLAda

Grube wiązanie Ada dla OpenGL i GLFW.
  • 86
  • MIT

hac

HAC Ada Compiler - mały, szybki kompilator Ady w całości w Adzie.
  • 86

ada-awa

Ada Web Application - Framework do tworzenia bezpiecznych aplikacji internetowych o wysokiej wydajności.
  • 85
  • Apache License 2.0

learn

Źródła dla Learn.adacore.com (przez AdaCore).
  • 79
  • Creative Commons Attribution 4.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

orka

Jądro renderowania OpenGL 4.6 w Adzie 2012.
  • 50
  • Apache License 2.0

VSS

Biblioteka wysokiego poziomu łańcuchów i przetwarzania tekstu.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

Kolekcja komponentów GNAT – pakiety podstawowe.
  • 44
  • GNU General Public License v3.0

adawebpack

Ada WASM Runtime and Bindings for Web API.
  • 41
  • BSD 3-clause "New" or "Revised"

dashera

DasherA to emulator terminala Data General DASHER D200/D210.
  • 35
  • MIT

json-ada

Biblioteka Ada 2012 do parsowania JSON.
  • 35
  • Apache License 2.0