Bibliothèques écrites en Ada

septum

Outil de recherche de code contextuel.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio est un IDE puissant et léger pour Ada et SPARK.
  • 335

AdaDoom3

Id-tech-4-BFG d'Id Software dans le langage de programmation Ada.
  • 246

synth

Suivant Outil de construction D/Ports pour les systèmes en direct (Alternative pour les outils Portmaster et Portupgrade) (par jrmarino).
  • 244
  • ISC

alire

Outil de ligne de commande du projet Alire et bibliothèque de support.
  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

Code source Ada et exemples complets de projets GNAT pour certaines plates-formes de cartes nues prises en charge par GNAT.
  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

SPARK 2014 est la nouvelle version de SPARK, une technologie de développement logiciel spécialement conçue pour l'ingénierie d'applications à haute fiabilité.
  • 208
  • GNU General Public License v3.0 only

ada_language_server

Serveur implémentant le Microsoft Language Protocol pour Ada et SPARK.
  • 197
  • GNU General Public License v3.0 only

gnat-llvm

Compilateur GNAT basé sur LLVM.
  • 155

spark-by-example

SPARK by Example est une adaptation d'ACSL by Example pour SPARK 2014, un langage de programmation qui est un sous-ensemble formellement vérifié d'Ada.
  • 146

libadalang

Bibliothèque d'analyse sémantique Ada..
  • 132
  • GNU General Public License v3.0

aws

AWS est un cadre complet pour développer des applications Web en Ada. (par AdaCore).
  • 115
  • GNU General Public License v3.0

sdlada

Liaisons Ada 2012 à SDL 2.
  • 99
  • zlib

SPARKNaCl

SPARK 2014 réimplémentation de la bibliothèque de chiffrement TweetNaCl.
  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

Spécification formelle et génération d'analyseurs binaires vérifiables, de générateurs de messages et de machines d'état de protocole.
  • 92
  • GNU Affero General Public License v3.0

steamsky

Miroir de roguelike dans le ciel avec un décor steampunk.
  • 88

OpenGLAda

Liaison Ada épaisse pour OpenGL et GLFW.
  • 86
  • MIT

hac

HAC Ada Compiler - un petit compilateur Ada rapide entièrement en Ada.
  • 86

ada-awa

Ada Web Application - Framework pour créer des applications Web sécurisées hautes performances.
  • 85
  • Apache License 2.0

learn

Sources pour learn.adacore.com (par AdaCore).
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Code source du didacticiel de développement Ada Bare Bones OS.
  • 78
  • GNU General Public License v3.0

gprbuild

GPRbuild est un système de construction avancé conçu pour aider à automatiser la construction de systèmes multilingues.
  • 55
  • GNU General Public License v3.0

svd2ada

Un générateur de liaison Ada à partir des descriptions SVD pour les appareils ARM à carte nue.
  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

Ce projet contient divers systèmes d'exécution GNAT Ada (RTS) destinés aux cartes Cortex: jusqu'à présent, l'Arduino Due, les cartes d'évaluation de la série STM32F4 de STMicroelectronics et le BBC micro:bit (v1).
  • 55
  • GNU General Public License v3.0 only

orka

Le noyau de rendu OpenGL 4.6 dans Ada 2012.
  • 50
  • Apache License 2.0

VSS

Bibliothèque de chaînes et de traitement de texte de haut niveau.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

Collection de composants GNAT - Packages de base.
  • 44
  • GNU General Public License v3.0

adawebpack

Ada WASM Runtime et liaisons pour l'API Web.
  • 41
  • BSD 3-clause "New" or "Revised"

dashera

DasherA est un émulateur de terminal Data General DASHER D200/D210.
  • 35
  • MIT

json-ada

Une bibliothèque Ada 2012 pour analyser JSON.
  • 35
  • Apache License 2.0