Bibliothèques écrites en Ada

Ada_GUI

Une interface graphique orientée Ada.
  • 31
  • BSD 3-clause "New" or "Revised"

AdaYaml

Implémentation expérimentale de YAML 1.3 dans Ada.
  • 31
  • MIT

M-1

Un système de test OpenSource Boundary Scan (JTAG / IEEE1149.x).
  • 30
  • GNU General Public License v3.0 only

libkeccak

SHA-3 et autres algorithmes liés à Keccak dans SPARK/Ada..
  • 30
  • BSD 3-clause "New" or "Revised"

gnatcoverage

GNATcoverage: outil d'analyse de la couverture.
  • 28

powerjoular

PowerJoular permet de surveiller la consommation d'énergie de plusieurs plates-formes et processus. (par joular).
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

Une bibliothèque cryptographique dans SPARK 2014.
  • 27

rp2040_hal

Pilotes Ada pour le SoC Raspberry Pi RP2040.
  • 26
  • BSD 3-clause "New" or "Revised"

Renaissance-Ada

Outillage d'analyse et de manipulation du logiciel Ada.
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[obsolète] ces puzzles et jeux ascii ont été divisés en a) "SliderPuzzles" et b) "RetroArcade"..
  • 25
  • GNU General Public License v3.0 only

pico_examples

Exemples Ada pour le Raspberry Pi Pico.
  • 25

ada-toml

Analyseur TOML pour Ada.
  • 24
  • GNU General Public License v3.0

PragmARC

Les composants réutilisables PragmAda.
  • 24

Ada-Lisp

Tiny Lisp Interpreter Écrit en Ada.
  • 24
  • GNU General Public License v3.0 only

protobuf

L'implémentation de Google Protocol Buffers dans Ada (par reznikmm).
  • 23
  • MIT

ASFML

Liaison Ada à la bibliothèque SFML.
  • 21
  • GNU General Public License v3.0

xmlada

La boîte à outils XML/Ada..
  • 21
  • GNU General Public License v3.0

PolyORB

PolyORB fournit une solution uniforme pour créer des applications distribuées en s'appuyant sur les normes middleware.
  • 20
  • GNU General Public License v3.0

lea

LEA est un éditeur léger pour Ada.
  • 20

usb_embedded

Une pile USB Ada pour les appareils embarqués.
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

Zip-Ada: une bibliothèque Ada autonome et portable pour les archives.zip. Comprend un encodeur de flux d'octets LZMA et une paire de décodeurs.
  • 19

AURA

L'implémentation de référence AURA (par annexi-strayline).
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows: cadre graphique pour MS Windows.
  • 17

Honki-Tonks-Zivilisationen

Der Code meines 4X-Rundenstrategiespiels. Le Code de mon jeu de stratégie au tour par tour 4X..
  • 17
  • GNU General Public License v3.0 only

esp32-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.
  • 16
  • GNU General Public License v3.0 only

embedded-dashboard-console

Mise en œuvre d'une console de tableau de bord intégrée offrant des vues d'état à l'aide de LED, d'une matrice 5x7 et d'OLED.
  • 15
  • BSD 3-clause "New" or "Revised"

win32ada

API Ada à la bibliothèque Windows.
  • 15

qoi-spark

Implémentation d'Ada "Image tout à fait correcte".
  • 14
  • MIT

aida_2012

  • 14

globe-3d

GLOBE_3D: un moteur 3D temps réel écrit en Ada.
  • 14