Biblioteke napisane u Adau

septum

Alat za pretraživanje koda temeljen na kontekstu.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio je snažan i lagan IDE za Adu i SPARK..
  • 335

AdaDoom3

Id Software Id-tech-4-BFG u programskom jeziku Ada..
  • 246

synth

Sljedeći D/Ports alat za izgradnju živih sustava (alternativa za alate Portmaster i Portupgrade) (autor jrmarino).
  • 244
  • ISC

alire

Alat za naredbeni redak iz projekta Alire i knjižnica za podršku.
  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

Ada izvorni kod i potpuni ogledni GNAT projekti za odabrane bare-board platforme koje podržava GNAT..
  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

SPARK 2014 je nova verzija SPARK-a, tehnologije razvoja softvera posebno dizajnirane za inženjering aplikacija visoke pouzdanosti.
  • 208
  • GNU General Public License v3.0 only

ada_language_server

Poslužitelj koji implementira Microsoftov jezični protokol za Adu i SPARK.
  • 197
  • GNU General Public License v3.0 only

gnat-llvm

LLVM temeljen GNAT prevodilac.
  • 155

spark-by-example

SPARK by Example je adaptacija ACSL by Example za SPARK 2014, programski jezik koji je formalno verificirani podskup Ade.
  • 146

libadalang

Ada biblioteka semantičke analize..
  • 132
  • GNU General Public License v3.0

aws

AWS je kompletan okvir za razvoj web aplikacija u Adi. (autor AdaCore).
  • 115
  • GNU General Public License v3.0

sdlada

Ada 2012 vezanja na SDL 2.
  • 99
  • zlib

SPARKNaCl

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

RecordFlux

Formalna specifikacija i generiranje provjerljivih binarnih parsera, generatora poruka i automata stanja protokola.
  • 92
  • GNU Affero General Public License v3.0

steamsky

Ogledalo roguelikea na nebu sa steampunk okruženjem.
  • 88

OpenGLAda

Debelo Ada uvezivanje za OpenGL i GLFW.
  • 86
  • MIT

hac

HAC Ada Compiler - mali, brzi Ada prevodilac u potpunosti u Adi.
  • 86

ada-awa

Ada web aplikacija - Okvir za izgradnju sigurnih web aplikacija visokih performansi.
  • 85
  • Apache License 2.0

learn

Izvori za learn.adacore.com (od AdaCore).
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Ada Bare Bones OS izvorni kod vodiča za razvoj.
  • 78
  • GNU General Public License v3.0

gprbuild

GPRbuild je napredni sustav za izradu dizajniran da pomogne automatizirati izgradnju višejezičnih sustava.
  • 55
  • GNU General Public License v3.0

svd2ada

Generator Ada vezivanja iz SVD opisa za ARM uređaje s golom pločom..
  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

Ovaj projekt sadrži različite GNAT Ada Run Time Systems (RTS) usmjerene na Cortex ploče: do sada, Arduino Due, STM32F4 serije evaluacijskih ploča od STMicroelectronicsa i BBC micro:bit (v1).
  • 55
  • GNU General Public License v3.0 only

orka

Jezgra za prikaz OpenGL 4.6 u Adi 2012.
  • 50
  • Apache License 2.0

VSS

Knjižnica za obradu nizova i teksta visoke razine.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

Zbirka komponenti 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 emulator terminala Data General DASHER D200/D210.
  • 35
  • MIT

json-ada

Knjižnica Ada 2012 za raščlanjivanje JSON-a.
  • 35
  • Apache License 2.0