Bibliothèques écrites en Ada

adavulkan

Liaison Ada 2012 à Vulkan.
  • 13

ada-bar-codes

Ada Bar Codes: générateur de codes barres (1D et 2D) en pur Ada.
  • 12

spark_unbound

Structures de données non liées dans Ada-Spark..
  • 12
  • MIT

COVID-19_Simulator

Simulateur Qt5 COVID-19. Code Ada sous le capot.:étonné: 🤯:métal:.
  • 11
  • MIT

daikin2mqtt

Un pont logiciel entre certaines unités HVAC Daikin™ populaires et MQTT.
  • 11
  • GNU General Public License v3.0 only

pascal-to-ada

Traducteur de Pascal à Ada.
  • 11

ews

Le serveur Web intégré est conçu pour être utilisé dans des systèmes intégrés avec des ressources limitées (par exemple, pas de disque). Il prend en charge à la fois les pages statiques (converties à partir d'une arborescence Web standard, y compris les graphiques et les fichiers de classe Java) et les pages dynamiques. Il est écrit en GCC Ada..
  • 10
  • GNU General Public License v3.0 only

bbqueue-spark

Une implémentation Ada de BBQueue de James Munns.
  • 10
  • MIT

raylib-Ada

Liaison Ada pour la bibliothèque Raylib.
  • 10
  • GNU General Public License v3.0

ACATS

La suite de tests d'évaluation de la conformité Ada, personnalisée pour GCC.
  • 9
  • GNU General Public License v3.0

basalt

Collection de blocs de construction formellement vérifiés (par Componolit).
  • 9
  • GNU Affero General Public License v3.0

analytical-engine

Une émulation Ada 2012 du moteur analytique de Charles Babbage.
  • 9
  • GNU General Public License v3.0

notcursesada

Liaisons Ada pour la bibliothèque d'interface utilisateur textuelle notcurses.
  • 8
  • GNU General Public License v3.0

inotify-ada

Une bibliothèque Ada 2012 pour surveiller les événements du système de fichiers à l'aide de l'API inotify de Linux.
  • 8
  • Apache License 2.0

coldframe

ColdFrame génère du code de framework Ada et de la documentation à partir de modèles UML.
  • 7
  • GNU General Public License v3.0 only

Alice

Aventures pour apprendre et inspirer l'excellence du codage (par alice-aventures).
  • 7
  • MIT

ada-ray-tracer

  • 7
  • GNU General Public License v3.0 only

bingada

Application de bingo dans GTKada.
  • 6
  • MIT

tcladashell

Liaison Ada à Tcl/Tk. Notez que le copyright est GPL 2.0 + GMGPL.
  • 6
  • GNU General Public License v3.0 only

cbsg

Le générateur de conneries d'entreprise.
  • 6

trendy_test

Bibliothèque de tests unitaires Ada.
  • 6
  • Apache License 2.0

dir_iterators

Parcours de répertoires basés sur des itérateurs dans Ada.
  • 6
  • Apache License 2.0

BBS-BBB-Ada

Une collection de sources Ada pour travailler avec des ordinateurs embarqués basés sur Linux, tels que le BeagleBone Black ou le Raspberry Pi.
  • 6
  • GNU General Public License v3.0 only

wayland-ada

Fixations Ada 2012 pour Wayland.
  • 6
  • Apache License 2.0

CurlAda

Liaisons Ada 2012 pour libcurl.
  • 5

Encryption-utilities

Programmes utilitaires pour les algorithmes de chiffrement inclus dans les composants réutilisables PragmAda.
  • 5
  • GNU General Public License v3.0

ada-py-bind

  • 5
  • GNU General Public License v3.0

rose

Noyau persistant basé sur les capacités (par blancolioni).
  • 5
  • GNU General Public License v3.0 only

tresses

Bibliothèque de synthés inspirée des tresses de Mutable Instruments.
  • 5
  • MIT