Adaben írt könyvtárak

septum

Kontextus alapú kódkereső eszköz.
  • 355
  • Apache License 2.0

gnatstudio

A GNAT Studio egy erős és könnyű IDE az Adához és a SPARK-hoz.
  • 335

AdaDoom3

Id Software Id-tech-4-BFG az Ada programozási nyelven.
  • 246

synth

Következő D/Ports build eszköz élő rendszerekhez (Alternatíva a Portmaster és Portupgrade eszközökhöz) (a jrmarino).
  • 244
  • ISC

alire

Parancssori eszköz az Alire projektből és a támogató könyvtárból.
  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

Ada forráskód és teljes minta GNAT projektek a GNAT által támogatott kiválasztott, üres táblás platformokhoz.
  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

A SPARK 2014 a SPARK új verziója, egy szoftverfejlesztési technológia, amelyet kifejezetten nagy megbízhatóságú alkalmazások tervezésére terveztek.
  • 208
  • GNU General Public License v3.0 only

ada_language_server

A Microsoft Language Protocolt Ada és SPARK számára megvalósító kiszolgáló.
  • 197
  • GNU General Public License v3.0 only

gnat-llvm

LLVM alapú GNAT fordító.
  • 155

spark-by-example

A SPARK by Example az ACSL by Example adaptációja a SPARK 2014 programozási nyelvhez, amely az Ada formálisan ellenőrzött részhalmaza.
  • 146

libadalang

Ada szemantikai elemzési könyvtár..
  • 132
  • GNU General Public License v3.0

aws

Az AWS egy teljes keretrendszer web alapú alkalmazások fejlesztéséhez Adában. (az AdaCore által).
  • 115
  • GNU General Public License v3.0

sdlada

Az Ada 2012 kötődik az SDL 2-höz.
  • 99
  • zlib

SPARKNaCl

A TweetNaCl titkosítási könyvtár SPARK 2014 újratelepítése.
  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

Ellenőrizhető bináris elemzők, üzenetgenerátorok és protokollállapot-gépek formális specifikációja és generálása.
  • 92
  • GNU Affero General Public License v3.0

steamsky

Roguelike tükör az égen steampunk környezetben.
  • 88

OpenGLAda

Vastag Ada-kötés OpenGL-hez és GLFW-hez.
  • 86
  • MIT

hac

HAC Ada Compiler - egy kicsi, gyors Ada fordító teljesen Adában.
  • 86

ada-awa

Ada Web Application – Keretrendszer nagy teljesítményű biztonságos webalkalmazások készítéséhez.
  • 85
  • Apache License 2.0

learn

A learning.adacore.com forrásai (az AdaCore által).
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Ada Bare Bones OS fejlesztési oktatóanyag forráskódja.
  • 78
  • GNU General Public License v3.0

gprbuild

A GPRbuild egy fejlett összeállítási rendszer, amelyet a többnyelvű rendszerek felépítésének automatizálására terveztek.
  • 55
  • GNU General Public License v3.0

svd2ada

Egy Ada kötésgenerátor az SVD-leírásokból csupasz táblás ARM eszközökhöz.
  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

Ez a projekt különféle GNAT Ada Run Time Systemeket (RTS) tartalmaz, amelyek a Cortex kártyákat célozzák: eddig az Arduino Due, az STMicroelectronics STM32F4 sorozatú kiértékelő kártyái és a BBC micro:bit (v1).
  • 55
  • GNU General Public License v3.0 only

orka

Az OpenGL 4.6 renderelő kernel az Ada 2012-ben.
  • 50
  • Apache License 2.0

VSS

Magas szintű karakterlánc- és szövegfeldolgozó könyvtár.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

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

adawebpack

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

dashera

A DasherA egy Data General DASHER D200/D210 terminálemulátor.
  • 35
  • MIT

json-ada

Egy Ada 2012 könyvtár a JSON elemzéséhez.
  • 35
  • Apache License 2.0