Librerie scritte in Ada

septum

Strumento di ricerca del codice basato sul contesto.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio è un IDE potente e leggero per Ada e SPARK..
  • 335

AdaDoom3

Id-tech-4-BFG di Id Software nel linguaggio di programmazione Ada..
  • 246

synth

Avanti D/Ports strumento di creazione per sistemi live (alternativa agli strumenti Portmaster e Portupgrade) (di jrmarino).
  • 244
  • ISC

alire

Strumento a riga di comando del progetto Alire e libreria di supporto.
  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

Codice sorgente Ada e progetti GNAT di esempio completi per piattaforme bare-board selezionate supportate da GNAT..
  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

SPARK 2014 è la nuova versione di SPARK, una tecnologia di sviluppo software specificamente progettata per ingegnerizzare applicazioni ad alta affidabilità.
  • 208
  • GNU General Public License v3.0 only

ada_language_server

Server che implementa il Microsoft Language Protocol per Ada e SPARK.
  • 197
  • GNU General Public License v3.0 only

gnat-llvm

Compilatore GNAT basato su LLVM.
  • 155

spark-by-example

SPARK by Example è un adattamento di ACSL by Example per SPARK 2014, un linguaggio di programmazione che è un sottoinsieme formalmente verificato di Ada.
  • 146

libadalang

Libreria di analisi semantica Ada..
  • 132
  • GNU General Public License v3.0

aws

AWS è un framework completo per sviluppare applicazioni basate sul Web in Ada. (di AdaCore).
  • 115
  • GNU General Public License v3.0

sdlada

Associazioni Ada 2012 a SDL 2.
  • 99
  • zlib

SPARKNaCl

Reimplementazione SPARK 2014 della libreria crittografica TweetNaCl.
  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

Specifica formale e generazione di parser binari verificabili, generatori di messaggi e macchine a stati di protocollo.
  • 92
  • GNU Affero General Public License v3.0

steamsky

Specchio di roguelike in cielo con ambientazione steampunk.
  • 88

OpenGLAda

Binding Ada spesso per OpenGL e GLFW.
  • 86
  • MIT

hac

HAC Ada Compiler - un compilatore Ada piccolo e veloce completamente in Ada.
  • 86

ada-awa

Applicazione Web Ada - Framework per creare applicazioni Web sicure ad alte prestazioni.
  • 85
  • Apache License 2.0

learn

Fonti per learn.adacore.com (di AdaCore).
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Codice sorgente del tutorial di sviluppo del sistema operativo Ada Bare Bones.
  • 78
  • GNU General Public License v3.0

gprbuild

GPRbuild è un sistema di compilazione avanzato progettato per aiutare ad automatizzare la costruzione di sistemi multilingue.
  • 55
  • GNU General Public License v3.0

svd2ada

Un generatore di binding Ada dalle descrizioni SVD per dispositivi ARM a scheda nuda.
  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

Questo progetto contiene vari GNAT Ada Run Time Systems (RTS) destinati alle schede Cortex: finora, Arduino Due, le schede di valutazione della serie STM32F4 di STMicroelectronics e BBC micro:bit (v1).
  • 55
  • GNU General Public License v3.0 only

orka

Il kernel di rendering OpenGL 4.6 in Ada 2012.
  • 50
  • Apache License 2.0

VSS

Libreria di elaborazione di testi e stringhe di alto livello.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

  • 44
  • GNU General Public License v3.0

adawebpack

Ada WASM Runtime e associazioni per l'API Web.
  • 41
  • BSD 3-clause "New" or "Revised"

dashera

DasherA è un emulatore di terminale Data General DASHER D200/D210.
  • 35
  • MIT

json-ada

Una libreria Ada 2012 per l'analisi di JSON.
  • 35
  • Apache License 2.0