Bibliothèques écrites en Ada
progress_indicators
Indicateurs de progression pour les outils de ligne de commande dans Ada..
- 4
- Apache License 2.0
bare_runtime
Temps d'exécution Ada/SPARK minimal pour les cibles intégrées ou autres cibles restreintes.
- 4
trendy_terminal
Une bibliothèque Windows/Linux pour activer les paramètres du terminal et piloter la saisie caractère par caractère.
- 4
- Apache License 2.0
evdev-ada
Une bibliothèque Ada 2012 pour lire les événements d'entrée et utiliser le retour de force à l'aide de l'API evdev de Linux.
- 4
- Apache License 2.0
iso_countries
Références de la norme ISO pour Ada telles que les codes de pays ISO 1366. [Déplacé vers: https://github.com/ada-iso/ada_iso].
- 3
- MIT
ada_iso
Références standard ISO pour Ada telles que ISO 1366 (codes de pays) et ISO 4217 (devises).
- 3
- MIT
j2ada
J2Ada traduit un code source Java valide en code source Ada.
- 3
- GNU General Public License v3.0
play_2048
Jeu 2048: fusionnez des tuiles égales jusqu'à ce que vous obteniez 2048.
- 3
- GNU General Public License v3.0 only
garlic
Bibliothèque GNAT pour Ada Distributed Environment (ail) (par reznikmm).
- 2
- GNU General Public License v3.0 only
VulkanAda
Une tentative de création d'une liaison à la bibliothèque Vulkan pour le langage de programmation Ada.
- 2
- MIT
Pi-Mainframe
Ordinateur central simulé basé sur un Raspberry Pi.
- 2
- GNU General Public License v3.0 only
libtcod-ada
Une liaison Ada pour la bibliothèque libtcod rougelike.
- 2
- BSD 3-clause "New" or "Revised"
iso_3166
Références de la norme ISO pour Ada telles que les codes de pays ISO 1366. [Déplacé vers: https://github.com/ada-iso/ada_iso].
- 2
- MIT