Ada sur le Web

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)
	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.
SPARK	Site 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 1^er 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.com	Plateforme 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-writer	Bibliothè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.
Adabindinggmpmpfr	Binding 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.

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.