Knihovny napsané v Adau

septum

Kontextový nástroj pro vyhledávání kódu.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio je výkonné a lehké IDE pro Ada a SPARK.
  • 335

AdaDoom3

Id-tech-4-BFG společnosti Id Software v programovacím jazyce Ada.
  • 246

synth

Další nástroj pro tvorbu D/Ports pro živé systémy (alternativa pro nástroje Portmaster a Portupgrade) (od jrmarino).
  • 244
  • ISC

alire

Nástroj příkazového řádku z projektu Alire a podpůrné knihovny.
  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

Zdrojový kód Ada a kompletní vzorové projekty GNAT pro vybrané platformy s holou deskou podporované GNAT.
  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

SPARK 2014 je nová verze SPARK, technologie vývoje softwaru speciálně navržená pro navrhování vysoce spolehlivých aplikací.
  • 208
  • GNU General Public License v3.0 only

ada_language_server

Server implementující jazykový protokol Microsoft pro Ada a SPARK.
  • 197
  • GNU General Public License v3.0 only

gnat-llvm

Kompilátor GNAT založený na LLVM.
  • 155

spark-by-example

SPARK by Example je adaptace ACSL by Example pro SPARK 2014, programovací jazyk, který je formálně ověřenou podmnožinou Ada.
  • 146

libadalang

Ada knihovna sémantické analýzy..
  • 132
  • GNU General Public License v3.0

aws

AWS je kompletní rámec pro vývoj webových aplikací v Ada. (od AdaCore).
  • 115
  • GNU General Public License v3.0

sdlada

Ada 2012 vazby na SDL 2.
  • 99
  • zlib

SPARKNaCl

SPARK 2014 reimplementace krypto knihovny TweetNaCl.
  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

Formální specifikace a generování ověřitelných binárních parserů, generátorů zpráv a stavových automatů protokolů.
  • 92
  • GNU Affero General Public License v3.0

steamsky

Zrcadlo roguelike na obloze se steampunkovým prostředím.
  • 88

OpenGLAda

Silná vazba Ada pro OpenGL a GLFW.
  • 86
  • MIT

hac

HAC Ada Compiler - malý, rychlý Ada kompilátor plně v Ada.
  • 86

ada-awa

Ada webová aplikace – rámec pro vytváření vysoce výkonných bezpečných webových aplikací.
  • 85
  • Apache License 2.0

learn

Zdroje pro learn.adacore.com (od AdaCore).
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Zdrojový kód výukového programu pro vývoj operačního systému Ada Bare Bones.
  • 78
  • GNU General Public License v3.0

gprbuild

GPRbuild je pokročilý systém sestavování navržený tak, aby pomohl automatizovat konstrukci vícejazyčných systémů.
  • 55
  • GNU General Public License v3.0

svd2ada

Generátor vazby Ada z popisů SVD pro zařízení ARM na holé desce.
  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

Tento projekt obsahuje různé GNAT Ada Run Time Systems (RTS) zaměřené na desky Cortex: zatím Arduino Due, vyhodnocovací desky řady STM32F4 od STMicroelectronics a BBC micro:bit (v1).
  • 55
  • GNU General Public License v3.0 only

orka

Vykreslovací jádro OpenGL 4.6 v Ada 2012.
  • 50
  • Apache License 2.0

VSS

Knihovna pro zpracování řetězců a textu na vysoké úrovni.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

GNAT Components Collection – základní balíčky.
  • 44
  • GNU General Public License v3.0

adawebpack

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

dashera

DasherA je terminálový emulátor Data General DASHER D200/D210.
  • 35
  • MIT

json-ada

Knihovna Ada 2012 pro analýzu JSON.
  • 35
  • Apache License 2.0