Knjižnice, napisane v Adau

septum

Orodje za iskanje kode, ki temelji na kontekstu.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio je zmogljiv in lahek IDE za Ada in SPARK..
  • 335

AdaDoom3

Id Software Id-tech-4-BFG v programskem jeziku Ada..
  • 246

synth

Naslednje orodje za gradnjo D/Ports za žive sisteme (alternativa za orodja Portmaster in Portupgrade) (avtor jrmarino).
  • 244
  • ISC

alire

Orodje ukazne vrstice iz projekta Alire in podporna knjižnica.
  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

Izvorna koda Ada in popolni vzorčni projekti GNAT za izbrane platforme z golo ploščo, ki jih podpira GNAT..
  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

SPARK 2014 je nova različica SPARK, tehnologije za razvoj programske opreme, posebej zasnovane za inženiring visoko zanesljivih aplikacij.
  • 208
  • GNU General Public License v3.0 only

ada_language_server

Strežnik, ki izvaja Microsoftov jezikovni protokol za Ada in SPARK.
  • 197
  • GNU General Public License v3.0 only

gnat-llvm

Prevajalnik GNAT, ki temelji na LLVM.
  • 155

spark-by-example

SPARK by Example je prilagoditev ACSL by Example za SPARK 2014, programski jezik, ki je formalno preverjena podmnožica Ade.
  • 146

libadalang

Knjižnica semantične analize Ada..
  • 132
  • GNU General Public License v3.0

aws

AWS je popoln okvir za razvoj spletnih aplikacij v Adi. (avtor AdaCore).
  • 115
  • GNU General Public License v3.0

sdlada

Ada 2012 vezave na SDL 2.
  • 99
  • zlib

SPARKNaCl

SPARK 2014 ponovna implementacija kripto knjižnice TweetNaCl.
  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

Formalna specifikacija in generiranje preverljivih binarnih razčlenjevalnikov, generatorjev sporočil in avtomatov stanja protokola.
  • 92
  • GNU Affero General Public License v3.0

steamsky

Ogledalo roguelike in sky s steampunk okoljem.
  • 88

OpenGLAda

Debela vezava Ada za OpenGL in GLFW.
  • 86
  • MIT

hac

HAC Ada Compiler - majhen, hiter prevajalnik Ada, ki je v celoti v Adi.
  • 86

ada-awa

Spletna aplikacija Ada - ogrodje za izdelavo visoko zmogljivih varnih spletnih aplikacij.
  • 85
  • Apache License 2.0

learn

Viri za learn.adacore.com (avtor AdaCore).
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Izvorna koda vadnice za razvoj OS Ada Bare Bones.
  • 78
  • GNU General Public License v3.0

gprbuild

GPRbuild je napreden gradbeni sistem, zasnovan za pomoč pri avtomatizaciji gradnje večjezičnih sistemov.
  • 55
  • GNU General Public License v3.0

svd2ada

Generator vezave Ada iz opisov SVD za naprave ARM z golo ploščo.
  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

Ta projekt vsebuje različne sisteme GNAT Ada Run Time Systems (RTS), namenjene ploščam Cortex: do zdaj Arduino Due, ocenjevalne plošče serije STM32F4 podjetja STMicroelectronics in BBC micro:bit (v1).
  • 55
  • GNU General Public License v3.0 only

orka

Jedro upodabljanja OpenGL 4.6 v Adi 2012.
  • 50
  • Apache License 2.0

VSS

Knjižnica za obdelavo nizov in besedil na visoki ravni.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

Zbirka komponent GNAT – osnovni paketi.
  • 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 je terminalski emulator Data General DASHER D200/D210.
  • 35
  • MIT

json-ada

Knjižnica Ada 2012 za razčlenjevanje JSON.
  • 35
  • Apache License 2.0