Библиотеки, написанные на Ada
progress_indicators
Индикаторы прогресса для инструментов командной строки в Ada..
- 4
- Apache License 2.0
bare_runtime
Минимальное время выполнения Ada/SPARK для встроенных или других целей с ограниченным доступом.
- 4
trendy_terminal
Библиотека Windows/Linux для включения настроек терминала и управления посимвольным вводом.
- 4
- Apache License 2.0
evdev-ada
Библиотека Ada 2012 для чтения входных событий и использования принудительной обратной связи с использованием Linux evdev API.
- 4
- Apache License 2.0
iso_countries
Стандартные ссылки ISO для Ada, такие как коды стран ISO 1366. [Перенесено на: https://github.com/ada-iso/ada_iso].
- 3
- MIT
j2ada
J2Ada переводит допустимый исходный код Java в исходный код Ada.
- 3
- GNU General Public License v3.0
play_2048
Игра 2048: объединяйте одинаковые плитки, пока не получите 2048.
- 3
- GNU General Public License v3.0 only
garlic
Библиотека GNAT для распределенной среды Ada (чеснок) (от reznikmm).
- 2
- GNU General Public License v3.0 only
iso_3166
Стандартные ссылки ISO для Ada, такие как коды стран ISO 1366. [Перенесено на: https://github.com/ada-iso/ada_iso].
- 2
- MIT