Bibliotecas escritas en Ada
progress_indicators
Indicadores de progreso para herramientas de línea de comandos en Ada..
- 4
- Apache License 2.0
bare_runtime
Tiempo de ejecución mínimo de Ada/SPARK para objetivos integrados u otros objetivos restringidos.
- 4
trendy_terminal
Una biblioteca de Windows/Linux para habilitar la configuración del terminal y controlar la entrada de carácter por carácter.
- 4
- Apache License 2.0
evdev-ada
Una biblioteca Ada 2012 para leer eventos de entrada y usar retroalimentación forzada usando la API evdev de Linux.
- 4
- Apache License 2.0
iso_countries
Referencias estándar ISO para Ada, como los códigos de país ISO 1366. [Movido a: https://github.com/ada-iso/ada_iso].
- 3
- MIT
ada_iso
Referencias estándar ISO para Ada como ISO 1366 (códigos de países) e ISO 4217 (monedas).
- 3
- MIT
j2ada
J2Ada traduce un código fuente válido de Java en el código fuente de Ada.
- 3
- GNU General Public License v3.0
play_2048
Juego 2048: fusiona fichas iguales hasta sumar 2048.
- 3
- GNU General Public License v3.0 only
garlic
Biblioteca GNAT para el entorno distribuido de Ada (ajo) (por reznikmm).
- 2
- GNU General Public License v3.0 only
VulkanAda
Un intento de crear un enlace a la biblioteca Vulkan para el lenguaje de programación Ada.
- 2
- MIT
Pi-Mainframe
Computadora central simulada basada en una Raspberry Pi.
- 2
- GNU General Public License v3.0 only
iso_3166
Referencias estándar ISO para Ada, como los códigos de país ISO 1366. [Movido a: https://github.com/ada-iso/ada_iso].
- 2
- MIT