logo Adalog
Informations générales Outils et environnements Bibliothèques et bindings
Ada sur le Web

Petit catalogue des principales ressources Ada disponibles sur/via Internet
(hors compilateurs)

Ce catalogue n'a pas la prétention de recenser toutes les ressources disponibles; il présente plutôt une sélection de ce qui nous a paru le plus intéressant, original, ou qui répond aux questions les plus fréquentes (avec un léger favoritisme pour les sites francophones). Pour des catalogues plus exhaustifs, voyez les sites d'information générale ci-dessous. N'oubliez pas non plus qu'il existe des ressources commerciales !

Informations générales

Centres d'information
Ada IC L'Ada Information Clearinghouse, opérée par l'ARA (Ada Resource Association -consortium des vendeurs de produits liés à Ada). Un site très complet : présentation d'Ada, ressources pédagogiques, outils et bibliothèques, standards, bindings, sociétés de services... (en anglais)
ACAA Site de l'Ada Conformity Assesment Authority, ou plus simplement, des responsables de la validation. On y trouve toutes les informations sur le processus de validation, la suite de tests, et la base de donnée des problèmes (Ada Interpretations) de définition du langage. Cette dernière n'est intéressante que pour les gourous ou ceux qui veulent le devenir... (en anglais) 
ARG Site de l'Ada Rapporteur Group, groupe d'experts qui assure la maintenance et l'évolution du langage. Ce processus est entièrement public, donc vous pouvez y suivre l'évolution des AI (Ada Interpretations), et même proposer des améliorations pour la prochaine version de la norme (en anglais).
Ada2012  Site dédié à la dernière version du langage. Présentation des nouveautés, tutoriels, etc. (en anglais).
AdaPower  Site "généraliste" autrefois de très bonne réputation, mais qui est gelé depuis quelques années. Il héberge un grand nombre de ressources Ada, dont l'"Ada Source Code Treasury" qui rassemble des FAQ, des exemples, des modèles de code... Intéressant du point de vue pédagogique comme du point de vue de la réutilisation. (en anglais)
getadanow.com Un site généraliste plus spécifiquement destiné aux personnes débutant avec Ada.
Ada Forge Un autre site généraliste qui permet de faire des recherches de façon arborescente. De plus, il recense automatiquement tous les projets Alire.
Forge d'Ada-Russie Site hébergeant plusieurs projets libres, principalement développés par les membres d'Ada-Russie, mais ouvert à d'autres également.
Awesome Ada  Site GitHub présentant une liste exhaustive de liens vers toutes sortes de ressources (tutoriels environnements, composants, compilateurs...).
Home of Brave Ada Programmer Anciennement site de référence, il est aujourd'hui à l'abandon, et bien qu'il n'ait pas été mis à jour depuis 1998, il continue à être référencé partout. Il est mentionné ici (sans lien pour ne pas augmenter son score Google) juste pour dire de ne plus chercher à s'y connecter.
Ada Inside Une liste, qui ne saurait être exhaustive, mais impressionnante, de projets utilisant Ada. (en anglais)
ISO WG9 La page de référence du groupe de normalisation international pour Ada. Documents, références, etc. concernant le langage et les standard annexes.
ODP Ada Rubrique francophone et Adaïque de l'"Open Directory Project", le plus grand annuaire existant sur le WWW qui classifie manuellement les ressources, grâce à des éditeurs volontaires. Beaucoup de liens intéressants.
Ada 95000 Forum avec cours et exemples, spécialement dédié aux débutants en Ada.
Ada Lang Un autre site orienté pédagogie, documents de référence, avec un forum de discussion.
CBEL Ada Plus de 400 liens Ada sur une seule page! Une liste impressionnante et compacte de ressources Ada.
SPARKSite de référence du langage SPARK, langage certifiable isomorphe à un sous-ensemble d'Ada.

Groupes d'utilisateurs
Ada‑France Groupe des utilisateurs français d'Ada. Pour connaître les activités d'Ada‑France, vous inscrire à la liste de diffusion, et avoir d'autres informations sur Ada en français. A suivre également sur X (Twitter) et Facebook.
Ada‑Belgique Groupe des utilisateurs belges d'Ada (en anglais!).
Ada‑Deutschland Groupe des utilisateurs allemands d'Ada (en allemand)
Ada‑Europe Fédération européenne des groupes d'utilisateur d'Ada, à laquelle est affilié Ada‑France(en anglais). Elle organise notamment une conférence annuelle.
Ada‑Russia Groupe des utilisateurs russes d'Ada (en russe!)
Ada‑Spain Groupe des utilisateurs espagnols d'Ada (en espagnol)
Ada‑Switzerland Groupe des utilisateurs suisses d'Ada (en anglais)
SIGAda Groupe des utilisateurs américains d'Ada (en américain :-)

Newsgroups et réseaux sociaux
Ada Meetup Visio de rencontre mensuelle d'utilisateurs d'Ada, qui se retrouvent le 1er samedi de chaque mois à 15h (heure française) pour discuter (en anglais) de sujets variés. N'hésitez pas à vous y joindre pour rencontrer des utilisateurs en personne!
comp.lang.ada Groupe de discussion le plus général sur Ada, en anglais. Les plus célèbres gourous Ada se feront un plaisir d'y répondre à vos questions. Mais le nombre de messages est important, et les discussions dégénèrent parfois...
fr.comp.lang.ada Equivalent francophone du groupe ci-dessus. Le trafic y est plus modéré, mais vous y trouverez toujours des bonnes volontés pour vous aider à résoudre vos problèmes. Avant de poser une question, visitez donc la FAQ du groupe: la réponse s'y trouve peut-être déjà!
Libera Chat Groupe de discussion via IRC, le "salon" Ada s'appelle... #ada
Gitter Un groupe de discussion, organisé en "pièces" par sujet.
LinkedIn Le groupe le plus important en taille.
Reddit Réseau principalement constitué de pointeurs vers des informations intéressantes.
StackOverflow Réseau spécialisé dans les questions techniques.
X (Twitter) Inutile de le présenter... Le hashtag est "#AdaProgramming".

Cours, tutoriels et références
learn.adacore.comPlateforme pédagogique d'AdaCore (en anglais). Des cours, des brochures, et même un compilateur interactif pour aider ceux qui veulent apprendre Ada et SPARK par eux-mêmes. Mis à disposition par AdaCore, sous licence libre bien entendu.
Cours du CNAM (en français). Les cours du département d'informatique du CNAM (Claude Kaiser) sont librement disponibles (librement au sens des logiciels libres). Vous y trouverez entre autres un cours de systèmes et un cours sur la programmation concurrente et sa validation
Cours de l'IUT d'Aix en Provence (téléchargement) (en français). Ensemble du cours Ada de Daniel Feneuile. Il représente 275 pages, librement disponible en format PDF.
"Questions techniques" Adalog Anciens articles techniques parus dans notre lettre d'information, les nouvelles d'Adalog. Ils détaillent un certain nombre de points "épineux" du langage.
Zeste de savoir Tutoriel pour débutants en Ada. Le site offre aussi des tutoriels et des fils de discussion sur de nombreux sujets.
Enseigner Ada (en français). Papier résultant d'un effort collectif orchestré par Daniel Feneuille expliquant l'intéret d'enseigner (et d'apprendre) Ada.
Cours Ada pour le programmeur C++ ou Java (en anglais). Comme son nom l'indique, un cours destiné à ceux qui connaissent (bien) C++ ou Java, par Quentin Ochem.
ideone.com(en anglais) Compilateur en ligne: vous tapez votre programme dans une fenêtre, dans n'importe quel langage (y compris Ada bien sûr), et vous pouvez le compiler et l'exécuter interactivement.
Wikipedia Ada (en anglais) Beaucoup d'excellentes informations dans l'entrée "Ada" de Wikipedia.
Ada on Android (en anglais) Tutoriel sur comment développer des applis Android (téléphones, montres connectées) en Ada.
Méthodes de génie logiciel avec Ada 95 Le livre de J-P. Rosen, présentant les méthodes de génie logiciel et comment les utiliser avec Ada. Le livre est libre et a été remis à jour pour Ada 2005.
Wikibook Ada (en anglais) Un tutoriel complet, développé par toute la communauté Ada grâce au modèle collaboratif Wiki. Excellent pour débuter, et élu meilleur wikiBook du mois en septembre 2005.
The Big Book of Ada Linux Programming (en anglais) Un livre complet sur la programmation Ada sous Linux, disponible librement (équivalent de la GPL pour les livres).
Ada Distilled (en anglais, PDF, 992Ko) Un autre livre disponible librement, écrit par Richard Riehle. Il vise les programmeurs expérimentés qui veulent apprendre Ada au niveau programmation. Il résume les principaux points du langage, essentiels pour bien démarrer rapidement.
Ada95: The Craft of Object Oriented Programming (en anglais) Encore un livre disponible librement, écrit par John English, qui s'intéresse plus particulièrement aux aspects "orientés objet".
Références de bibliothèques Ce site présente une table des matières et un index de toutes les fonctionnalités fournies par un certain nombre de paquetages, tels que la bibliothèque GNAT, les interfaces Win32, Posix, X11, Tash, etc.
Cheat sheet (en bon français: antisèches) Un site qui fournit des cartes de référence pour beaucoup de choses, y compris pour la syntaxe Ada et les éléments prédéfinis du langage. Attention: le lien est cassé, mais la copie archivée fonctionne.
PLEAC Ada Un site qui fournit une implémentation Ada des exemples du Perl Cookbook. Intéressant pour ceux qui aiment apprendre par l'exemple.
Posix Ada programming Un site qui fournit une implémentation Ada des exemples du "Understanding Unix/LinuxProgramming" (Bruce Molay, ISBN 0-13-008396-8). Egalement intéressant pour ceux qui aiment apprendre par l'exemple.
Ada 2005 Rationale (en anglais) Le "rationale" (écrit par J. Barnes) de la toute dernière version du langage: survol des nouveautés, comparaison avec Ada 95, etc.
AQS (en anglais) Le célèbre "Ada Quality and Style Guide, Guidelines for Professional Programmers" est LA référence en matière de guide de codage Ada. Il est ici disponible sous forme de Wikibook.
AdaMagica Des petits articles technico-humoristiques, écrits par Christophe Grein. En anglais, mais vous pouvez consulter l'original en allemand
Document Stoneman Document Steelman Les cahiers des charges qui ont donné naissance au langage Ada (en anglais bien sûr)
Le langage "Red" Le manuel de référence du langage battu en finale par Ada, avec d'intéressants pointeurs sur toute l'histoire de la compétition.
Pour connaître les livres Ada en français, voir notre page bibliographie.
Il existe également une intéressante bibliographie (en anglais) des livres (anglais !) à but pédagogique sur le site AdaIC.

Outils et environnements

En ce qui concerne les compilateurs, voyez notre page spéciale compilateurs.

Distributions complètes
Aide AIDE est un environnement complet de développement Ada pour Windows utilisant uniquement des outils libres et multi-plateformes et permettant de développer des applications également libres et multi-plateformes, mais aussi commerciales. Ces développements peuvent être en mode texte (natif ou Ansi), en mode graphique (GtkAda 2.2) ou encore pour internet (AdaWebServer), en mode sécurisé (https) ou non (http).

AIDE permet d'installer très facilement (et aussi de désinstaller sans tout casser!) le compilateur GNAT, et un grand nombre des autres outils référencés ici. Il comporte une chaine de production de documentation complète et francisée, basée sur Texinfo et générant, à partir d'un source unique, les fichiers d'aide en ligne (HTML) et les manuels utilisateurs (PDF).

AIDE a été développé par Stéphane Rivière ().

Debian La célèbre distribution comporte le compilateur GNAT et de nombreux outils associés. Le mainteneur est Ludovic Brenta. A vos "apt-get" !
Ada for Automation Un framework, pour la conception d'applications d'automatisme industriel dans le langage Ada, utilisant en particulier Modbus et autres bus de terrain.
SweetAda Un environnement de développement complet pour systèmes Ada embarqués, pour de nombreuses cibles: ARM, AVR, X86, M68K, MIPS, PowerPC, Spark, etc.
Matreshka Un environnement complet pour le développement de systèmes d'information: composants généraux, processeur XML, outils Web, bases de données SQL, UML.
Alire Alire (Ada LIbrary REpository) est un catalogue général de ressources et un installateur, inspiré de ce qui existe dans d'autres langages (comme PIP pour Python). De nombreux composants sont désormais fournis au format Alire. La liste complète des composants est disponible ici

Éditeurs intégrés
AdaGIDE Éditeur permettant de piloter directement le compilateur GNAT. Simple et commode, avec colorisation des mots clés, reformatage intégré, générateur de corps à partir de spécifications et accès direct au manuel de référence. Disponible sous Windows (9x/NT/XP) uniquement.
GPS/GNATStudio L'environnement de développement pour GNAT, développé par AdaCore (mais qui supporte aussi C et C++). C'est beau comme Visual/Basic! Autrefois nommé GPS, il s'appelle GnatStudio dans les versions récentes. Il est installé automatiquement avec Gnat.
Grasp Éditeur permettant de piloter directement le compilateur GNAT. Colorisation des mots clés, squelettes d'instructions, décoration du code avec des diagrammes structurés, graphiques de complexité (sauf version Windows). Disponible sous Windows95 et Unix (y compris Linux).
Emacs-Ada Un "mode" Ada pour l'éditeur Emacs/XEmacs, permettant de piloter directement le compilateur GNAT, ou même d'autres compilateurs. Colorisation des mots clés, indentation automatique, reformatage intégré, générateur de corps à partir de spécifications, couplage aux références croisées permettant de retrouver la déclaration de n'importe quel élément... Disponible sur tout système possédant Emacs, c'est à dire quasiment tous les systèmes.
JED-Ada Même principe : un mode Ada pour l'éditeur JED.
Vim-Ada Même principe : un mode Ada pour l'éditeur vim (ou gvim).
Ideone
Un éditeur "on-line", avec colorisation syntaxique et compilateur intégré, pour de nombreux langages. Tapez votre code Ada dans une fenêtre, cliquez sur un bouton, et vous verrez le résultat!
Tia Tiny IDE for Ada: comme son nom l'indique, un petit environnement de développement pour Linux, en mode texte (console).
Visual-Ada Intégration d'Ada dans Visual Studio 2017/2019.
LEA LEA (Lightweight Editor for Ada) est un éditeur pour Windows dédié aux sources Ada, similaire à Notepad++ (édition multi-lignes, sélections rectangulaires, ...). Il peut servir d'éditeur externe à GNAT Studio. Il inclut le compilateur HAC (HAC Ada Compiler), ce qui permet de développer très rapidement de petits programmes Ada.

Reformateurs, documentation
ICC Source Code Formatter Un reformateur (Ada95) assez puissant et hautement paramétrable offert par Irvine Compiler Corporation, sous forme d'exécutable uniquement. Disponible pour plusieurs versions d'Unix, dont Linux..
Ada2HTML Un reformateur qui transforme un source Ada en HTML. Noter qu'un outil similaire (Gnathtml) est fourni avec le compilateur Gnat).
Adabrowse Un autre outil qui produit du HTML ou du XML à partir de spécifications Ada, avec toutes les références croisées.
a2ps Reformateur très général produisant du PostScript. Reconnait et traite les fichiers Ada, bien sûr.
Adadoc L'équivalent pour Ada de Javadoc pour Java. Produit un fichier intermédiaire en XML, qui est ensuite repris par des traducteurs pour HTML, Latex...
NaturalDocs NaturalDocs est un outil libre permettant de générer automatiquement de la documentation pour un grand nombre de langages (similaire à Doxygen pour C ou Javadoc pour Java), dont Ada.

Traducteurs et outils langage.
gch Cet outil vérifie un source Ada par rapport à un ensemble de règles de codage. La version actuelle déclare implémenter un sous-ensemble des règles du fameux document "Ada 95 Quality and Style", mais il s'agit en fait d'un prototype assez limité.
AdaControl Un outils très complet de vérification de règles de style et de codage Ada. Comme il s'agit d'un outil (libre) fourni par Adalog, nous ne pouvons que vous conseiller de cliquer sur le lien à gauche...
C2Ada Traduit les .h des bibliothèques C en spécifications Ada. Il effectue de 80% à 90% du travail automatiquement, il ne vous reste plus qu'à peaufiner... Grâce à C2Ada, toute bibliothèque en C est disponible en Ada ! Les dernières infos se trouvent ici.

Si vous utilisez le compilateur Gnat, celui-ci comporte une fonctionnalité équivalente incluse dans le compilateur C/C++.

for2ada Un traducteur de Fortran 77 en Ada 95
p2ada Un traducteur de Pascal (version Turbo/Delphi) en Ada 95
ASIS Bibliothèque standardisée permettant d'écrire de façon portable des outils liés au compilateur (analyseurs de dépendance, références croisées, etc.). ASIS est un standard ISO.
Aflex, Ayacc Version Ada des célèbre outils Lex et Yacc de Unix (écrite en Ada, et générant de l'Ada).
VisiToken Un ensemble de paquetages pour faire l'analyse syntaxique d'un texte, sans nécessiter de pré-compilation ni de syntaxe compliquée comme (A)flex et (A)yacc.
AUnit Un environnement de test pour Ada. Génération de tests, passage des tests, etc.
Ahven Un autre environnement de test pour Ada, inspiré de Junit (Java) et de AUnit.
Adasubst et Adadep Adasubst est un outil de substitution "intelligente", c'est à dire qui prend en compte toutes les règles du langage. En conjonction avec Adadep qui permet d'analyser les dépendances entre modules, il permet de réarchitecturer les projets Ada. Ces outils sont fournis (librement) par Adalog.
Cheddar Simulateur d'ordonnancement temps-réel. Permet de simuler la plupart des algorithmes d'ordonnancement classiques et d'extraire de l'information comme le taux d'utilisation, les échéances manquées, etc.
ASIS2XML Produit l'arbre syntaxique d'un programme Ada en format XML, ce qui permet de l'analyser ensuite avec les outils XML classiques.
Umbrello Outil de modélisation UML qui supporte la génération de code Ada.
Voir aussi les composants de Mats Weber.

Bibliothèques et bindings

Composants généraux et structures de données
Ada & Software Engineering Des GIGA-octets de sources Ada et de documents ! Accès Internet au contenu du fameux CD-Rom Ada. Vu le volume, cela revient souvent moins cher d'acheter le CD que de tout télécharger...
Les composants Adalog Un ensemble de composants et d'utilitaires bien commodes qu'Adalog a le plaisir de vous offrir.
Les composants Booch Version Ada 95 des composants Booch pour C++, eux-même dérivés des composants Booch pour Ada83. Toutes les structures de données classiques.
University of Scranton Data Structure Components Une autres suite très complète de structures de données. Des renseignements complémentaires, ainsi que d'autres choses intéressantes, peuvent être obtenus depuis la page de J. Beidler.
Charles container Library Une autre bibliothèque de composants logiciels inspirée de la Standard Template Library de C++.
PragmARC Bibliothèque de composants logiciels, libre mais avec support commercial disponible.
Les composants de Mats Weber Mats Weber   propose tout un ensemble de composants logiciels couvrant:
  • Les structures de données classiques (ensembles, tables, queues, listes, piles, etc.)
  • Des opérations mathématiques (ZpZ, polynomes, permutations, programmation linéaire, entiers multi-précision, etc.)
  • Des outils de programmation Ada (Makeup_Ada_File, Ada_Lexical_Analyzer, etc.)
  • Des interfaces système (CPU, VMS_File_Names, etc.)
ASL L'Ada Structured Library, fournie par Corey Minyard, propose des conteneurs, différentes formes de sémaphores, un gestionnaire mémoire qui détecte les fuites, un gestionnaire de liaison Telnet, un analyseur de chaînes de caractères, des calculs de date... La liste s'allonge chaque jour.
SAL Stephe's Ada Library offre des services similaires et est offerte par Stephen Leak.
AdaCL Ada Class Library, écrite par Martin Krischik  fournit des paquetages de manipulation de texte (fichier, chaînes), exécution de programmes, analyse de chaînes d'options, et des améliorations à d'autres bibliothèques (CGI, composants Booch).
Les utilitaires de Dale Stanbrough Une collection d'utilitaires développés par/pour les étudiants de Dale Stanbrough : manipulations de chaînes, aide à la génération d'HTML, compression de données, mini-interpréteur Prolog....
Simple Components Structures de données, analyseurs syntaxiques, pools, gestion de chaines... Fournis par Dmitry Kazakof.
NBAda Bibliothèque de structures de données et d'algorithmes prévus pour fonctionner en environnement parallèle, sans utilisation de verrous (NB = Non Blocking), et donc avec une efficacité maximale.
Ada Util Une collection de paquetages utilitaires, dont un certain nombre sont inspirés de facilités Java (beans...)
SparkRC Spark Reusable Components, une autre bibliothèque de composants classiques, mais qui sont compatibles (et prouvables) avec SPARK.

Bases de données et gestion de fichiers
Oracle Binding Win32 pour l'interface de programmation Oracle, fourni par Dmitriy Anisimkov.
Konada.Db Une bibliothèque pour accéder facilement à Oracle, construitre au dessus de l'interface précédente.
APQ Interface de haut niveau (thick binding) avec MySQL, PostgreSQL et Sybase
AdaBase Interface de haut niveau vers MySQL, PostgreSQL et SQLite
MySQL Interface avec le système MySQL (et d'autres choses par la même occasion)
GNADE GNU Ada Database Environment : Interface SQL suivant le principe de l'Embedded SQL. Il comporte un binding avec ODBC, et supporte en plus nativement Postgres et MySQL. Disponible sur Linux, Solaris et Windows/NT
SOCI-Ada Interface Ada pour le projet SOCI, fournissant un accès portable aux bases de données. Supporte actuellement Oracle, PostgeSQL et MySQL.
Indexed_IO Des entrées-sorties en séquentiel indexé. Par Marc Gobin, et mis à disposition par Ada Belgique. Une documentation, et même une présentation PowerPoint sont disponibles.
Adbm Une autre implémentation des entrées-sorties en séquentiel indexé, mais plus adaptée aux gros fichiers: premier niveau d'indexation en mémoire par Hash-Code, et arbres B sur disque... Fourni par Pascal Obry, dont la page de contributions Ada comporte d'autres choses intéressantes.
Excel-writerBibliothèque pour générer des fichiers .xls (Micosoft Excel®), directement depuis Ada.
PDF-Writer Bibliothèque permettant de créer des fichiers PDF directement depuis Ada, y compris figures, images, en-têtes et pieds de page, etc.
Zip-Ada Bibliothèque Ada pour accéder aux fichiers Zip + utilitaires complets.
Cette page de l'Ada Wikibook offre un tableau comparatif des différents bindings aux bases de données.

Terminaux, graphiques, fenêtrages, internationalisation
Ncurses Les célèbres Ncurses, interface mode texte sous Unix. Le binding Ada fait aussi partie de la distribution standard. Une petite documentation spécifique Ada est disponible ici.
TextTools Kit de développement pour applications en mode "texte", sur console Linux, par dessus les "ncurses" (cf. ci-dessus). Plus de 600 sous-programmes pour créer toutes sortes de fenêtres (parcours de fichiers, boutons, ascenseurs, thermomètres..), pour gérer des événements (y compris souris), jouer de la musique, etc.
Open-GL Bindings, demos, et liens vers d'autres sites pour utiliser Open-GL depuis Ada.
Globe-3D "GL Object Based Engine for 3D". Un moteur 3D par dessus Open-GL.
Gtk-Ada Binding Ada de la bibliothèque Gtk+, bibliothèque graphique libre disponible sur de nombreuses plate-formes, y compris Unix et Windows. La doc est ici.
Gtk-Ada Contributions Des fonctionnalités supplémentaires pour Gtk-Ada,  notamment pour faciliter l'utilisation en multi-tâches, et des widgets plus commodes. Fourni par Dmitry A. Kazakov.
Ada Idustrial Control Widget Library Des widgets industriels pour Gtk (cadrans, échelles...). Egalement fournis par Dmitry A. Kazakov.
Ada Studio Environnement complet pour développer avec Qt (5 et 6), disponible sur de nombreuses plate-formes, y compris Unix, Mac et Windows. Il comporte également VAD, générateur d'interfaces graphiques, et VTKAda, moteur de rendu 2D/3D/textures.
Gnoga Une bibliotèque qui utilise les techologies Web les plus modernes pour permettre simplement la création d'interfaces utilisateur multi-plateformes pour Ada, avec une apparence native ou personnalisée et qui peut être aisément transformée en application Web distante sur Internet. Exemples d'utilisation disponibles sur le site de Sowebio.
PlPlot Bibliothèque spécialisée pour tracer des graphes, avec sortie sur écran ou dans des fichiers (nombreux formats, y compris PDF). La distribution standard comporte un binding avec de nombreux langages, dont Ada bien sûr.
Ada Bar Codes Bibliothèque spécialisée pour générer des codes barre et des QR codes dans différents formats, notamment PDF et SVG.
JPEG Un paquetage d'interface avec la libraire JPEGLib. Site en français!
GID Generic Image Decoder (GID) décode les images des formats standard (BMP, GIF, JPEG, PNG, PNM (PBM, PGM, PPM), TGA) de manière efficace, autonome (sans recours à une bibliothèque tierce) et sans imposer de format ou support pour l'image décodée.
RAPID Un générateur interactif d'interfaces utilisateur pour Tash, JGNAT et Gtk
Win_IO Un paquetage pour faire simplement des entrées-sorties basiques sous forme de fenêtres. C'est une surcouche de GTK, et fonctionne donc aussi bien sous Linux que Windows.
Zanyblue Bibliothèque d'internationalisation (i18n): permet de gérer automatiquement des interfaces en plusieurs languges.
CUDA/Ada Interface avec CUDA, bibliothèque permettant d'utiliser les fonctionnalités de calcul, en particulier parallèle, des cartes graphiques NVIDIA.
LACE Un ensemble de composants Ada prévus pour faciliter le développement de jeux, de simulations, et d'applications interactives. Ils vont depuis le bas niveau ("events", "math") jusqu'au haut niveau ("game engine").

Autres langages
Java Sofcheck a développé un compilateur qui génère du J-Code, permettant d'écrire des applets en Ada aussi bien qu'en Java. Ce compilateur est disponible via les sociétés utilisant la technologie Intermetrics (Aonix, Green-Hills). 

AdaCore a également développé JGnat, une version spéciale du compilateur GNAT générant également du J-Code. 

Javada permet de générer automatiquement les interfaces entre Ada et Java.

.A#
(.NET)
Ce n'est pas un gag, mais bien une adaptation de JGNAT pour cibler .NET au lieu de la JVM. Il fait désormais partie officiellement de VisualStudio.NET. C'est également un produit officiellement supporté par AdaCore.
Lua Interface avec Lua, un autre langage du style Tcl pour charger dynamiquement des extensions.
pyAda
(Python)
Un binding Ada vers l'interpréteur Python. Il permet d'écrire des extensions à Python en Ada, ainsi que d'incorporer un interpréteur Python dans vos applications.
Note: ce binding n'est plus maintenu par l'auteur. Si vous êtes volontaire...
TAP
(Prolog)
Thick Ada-Prolog. Binding avec le serveur Amzi Logic. N'a apparemment été testé que sous Windows, mais devrait aussi fonctionner sous Unix.
TASH
(Tcl/TK)
Le Tcl-Ada SHell. Permet d'utiliser Tcl/TK comme interface utilisateur depuis Ada, aussi bien que d'enrichir Tcl/TK avec des procédures Ada.
TASHY
(Tcl/TK)
TASH Younger. Une autre interface Tcl/TK fondée sur TASH.

Internet, HTML, XML, Multi-media...
CGI Interface Ada/CGI, pour écrire vos programmes et formulaires Web en Ada. On trouve des exemples d'utilisation dans les composants de Dale Stanbrough, notamment les HTML IO routines. Une version améliorée fait partie d'AdaCL.
AdaWebPack Un ensemble constitué d'un compilateur Gnat pour WebAssembly, de l'exécutif associé, et des bibliothèques de liaison vers WebAPI. Tout pour utiliser le WebAssembly depuis Ada! Le tutoriel présenté au FOSDEM 2022 est disponible ici. Par exemple, G-Nav est une appli de navigation pour planeur sur téléphone portable qui l'utilise.
Templates Parser Un utilitaire qui facilite la génération de pages CGI à partir d'un modèle et des données de l'utilisateur.
OpenAlAda Un binding pour la bibliothèque OpenAL (Open Audio Library) qui permet de piloter les cartes son. Le site officiel a disparu, mais on le trouve encore dans les archives...
Ada Web Application AWA est un framework de développement d'applications Web, il contient également plusieurs librairies utilitaires intéressantes.
AWS Ada Web Server: un composant logiciel gérant HTTP/HTTPS, ce qui permet d'incorporer un serveur Web dans toute application Ada... ou d'écrire votre propre concurrent d'Apache! AWS fournit également des bindings SOAP, LDAP, JABBER, et plein d'autres choses utiles.
OpenId-Client Extension d'AWS permettant de gérer les authentifications par OpenID.
WolfSSL Interface (compatible SPARK) avec la bibliothèque WolfSSL; fournit aussi bien l'interface client que serveur avec SSL/TLS
Ada Server Faces
Version Ada de JavaServer Faces, pour écrire des servlets en Ada. On trouvera des exemples d'utilisation ici.
XML4Ada95 Un binding vers le package Xerces XML de l'Apache Group. Offre un accès complet vers DOM Level 1 et DOM Level 2 Core, et un accès partiel vers DOM Level 3 Core.
XML/Ada Analyseur de fichiers XML.
XML Ez  out Un ensemble de paquetages simples pour générer des fichiers XML depuis Ada.
PDF_Out Une bibliothèque permettant de générer des documents au format PDF directement depuis Ada (y compris graphiques), entièrement autonome et portable.
XIA XPath in Ada: implémentation Ada de XPath 1.0.
Ada Milter API Un binding vers Milter, API de filtre Sendmail. Ecrivez vos propres filtres en Ada!
Voir aussi Gnoga

Mathématiques, physique
BLAS/LAPACK Tout pour élécharger et utiliser les bindings Ada vers les célèbres bibliothèque d'algèbre linéaire BLAS (Basic Linear Algebra Subprograms) et LAPACK (Linear Algebra Package), que l'on peut obtenir sur le site NETLIB.
Big_Number Un site qui recense plusieurs paquetages de calculs sur grands nombres (précision arbitraire), et qui plus est, en français.
AdabindinggmpmpfrBinding vers les bibliothèques multi-précision GMP (Gnu) et MPFR (Inria).
Mathpaqs Algèbre, matrices (pleines ou creuses), probabilités, équations différentielles (complètes, partielles), éléments finis, fractales, entiers multi-precision... 
FuzzySets Bibliothèque de gestion des ensembles flous.
Intervals Bibliothèque d'arithmétique d'intervalles.
Astrophysique Une bibliothèque de calculs d'astrophysique et d'outils mathématiques, ainsi que quelques autres liens plus généraux.
NB: M. Stift, l'auteur, bien que basé en Autriche, est francophone!
Unités SI Un paquetage de calcul aux dimensions qui garantit la cohérence physique des équations à l'exécution.
Units of Measurement D'autres paquetages de gestion des unités physiques, ainsi que des widgets GTK pour l'entrée des valeurs.  Fournis par Dmitry Kazakof.
Macks Une autre approche de la vérification des dimensions: il s'agit d'un préprocesseur qui génère automatiquement les types et les opérations dont vous avez besoin, permettant une vérification des unités à la compilation.
Voir aussi les composants de Mats Weber.

Interfaces réseau et distribution, sérialisation
Anet Bibliothèque d'interface réseau (IPV4, IPV6, etc.)
Adare-net Autre bibliothèque d'interface réseau (IPV4, IPV6, UDP, TCP, etc.)
Pipes Un binding pour communiquer entre deux programmes via les pipes. Supporte les pipes en entrée et en sortie, Fonctionne avec Unix et Win32.
ZeroMQ Binding vers la bibliothèque réseau ZeroMQ
Orbit-Ada Une interface Ada vers ORBit, l'ORB libre du projet GNOME.
SOAP Un binding SOAP est  fourni par AWS
AdaSpread Interface Ada (2005) vers le système de messagerie à haute performance Spread (http://www.spread.org).
AdaCurl Binding Ada vers la libCurl, bibliothèque permettant de transférer des fichiers à travers un réseau et qui supporte un nombre impressionnant de protocoles. Attention: l'auteur ne soutient plus ce binding, ce lien désigne une archive.
SkilL Générateur d'interface de sérialisation pour SkilL à partir d'Ada.
Alog Système d'enregistrement (logging) supportant plusieurs types d'enregistrements, de politiques, de transformations de messages et de gestion du parallélisme.
YAMI4 Ensemble de bibliothèques de messagerie pour systèmes distribués.

Interfaces système
Win32Ada Binding complet entre Ada et l'API Windows.
GWindows Un environnement de développement et binding épais pour Windows, qui fait partie du projet Gnavi. Intègre interfaces utilisateur, bases de données et Active X. Une extension à GWindows est fournie (librement) par la société Konad.
Ada_Registry Un outil pour gérer les informations de configuration des programmes, portable entre Windows et Unix. Sous Windows il utilise la base de registres, mais sous Unix il utilise des fichiers de configurations. De toute façon, c'est totalement transparent au niveau de l'utilisation !
Ini File Manager Un paquetage pour lire des paramètres depuis des fichiers de configuration texte du type ".ini", ".cfg", etc. Permet aussi de les modifier.
Florist Binding POSIX conforme à la norme IEEE 1003.5, pour systèmes Unix. Note: Florist succède à Forest, que l'on trouve encore, mais qui est moins à jour.
MaRTE OS Pas un composant, mais un système d'exploitation complet pour cible iX86 embarquée nue. Il est conforme à la norme Minimal Real-Time POSIX.13. Encore en développement, mais assez avancé pour supporter tout Ada, y compris les tâches. Ecrit en Ada, et disponible sous GPL !
RTEMS-Ada RTEMS est un exécutif embarqué pour différentes plate-formes. Cette page (en fait un Wiki) contient toutes les informations pour développer des applications avec GNAT sous RTEMS.
BfdAda Binding Ada vers les fameux binutils de Linux. Permet d'analyser et de désassembler des fichiers ELF.
Degas Discrete Event GNU Advanced Scheduler, un environnement de simulation à événement discrets non intrusif, c'est-à-dire qu'il remplace l'exécutif Ada normal par un environnement de simulation sans avoir à modifier le code Ada. Le même programme peut ainsi tourner au choix, soit en temps réel, soit en temps simulé.
PCSC/Ada Binding Ada vers la bibliothèque PC/SC gérant le dialogue avec les cartes à puce.
Dbus-Ada Interface vers le système de messages D-Bus utilisé pour les communications entre processus sur la plupart des Linux modernes.
AdaBots Bibliothèque pour programmer les robots Minecraft en Ada. C'est aussi un moyen ludique d'apprendre la programmation Ada!
Voir aussi les composants de Mats Weber.

Cryptographie, intelligence artificielle
ACF L'Ada Cryptographic Framework comporte des fonctionnalités pour les algorithmes de cryptographie MD2, MD4, MD5, SHA-1, RIPEMD-128, RIPEMD-160, HAVAL et TIGER. Programmes de test et manuel utilisateur sont également disponibles.
Ada-Crypto Une autre bibliothèque d'algorithmes de cryptographie pour architecture Intel (32 et 64 bits). Elle supporte AES, Twofish, 3DES, Serpent SHA-1/256/384/512, DSA, OAEP-RSA, HMAC, CMAC, SIV, OCB, Nonces, Elliptic Curves, etc.
AdaGPGME Chiffrement, déchiffrement, signature et gestion de clés GNUPG.  Attention: l'auteur ne soutient plus ce binding, ce lien désigne une archive.
Adalibgcrypt Interface Ada vers la bibliothèque libgcrypt, également partie de GNUPG.  Attention: l'auteur ne soutient plus ce binding, ce lien désigne une archive.
Libsparkcrypto Implémentation de plusieurs algorithmes cryptographiques, écrite (et formellement prouvée) en Spark.
Libsodium-ada Interface vers la librairie de cryptographie libsodium
FannAda Interface Ada vers la bibliothèque de réseaux neuronaux  Fann (Fast Atificial Neural Network)
The Corporate Bullshit Generator Un programme qui relève plus de la bêtise naturelle que de l'intelligence artificielle... Générateur automatique de grandes phrases creuses (en anglais) qui ressemblent étonnamment à ce que l'on entend parfois. Pour le voir en action, cliquer ici.

Colere

Vous n'avez pas trouvé ce que vous cherchiez ? 

Vous êtes tombé sur un lien périmé ?

Vous connaissez des ressources intéressantes que nous avons omis de répertorier ?

Mettez vite un mot à info@adalog.fr ! Vous nous aiderez à garder cette page aussi utile et précise que possible.