Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
Repository Index
47,133 repositories indexed
1–19 of 19 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Ada semantic analysis library.
SPARK 2014 re-implementation of the TweetNaCl crypto library
Ada Web Application - Framework to build high performance secure web applications
A secure and high performances microkernel for building secure MCU-based IoTs
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Standard Ada library specification as defined in Reference Manual
Tomek's Ada build tool
- ada
- package-manager
- tada
AZip: a free, portable Zip Archive Manager
- ada
- ada-language
- zip
- archive
An Ada 2012 package to parse command line arguments and options
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Ini file manager: a standalone, portable Ada package for configuration files
- ada
- ada-language
- ini-parser
- cfg-files
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
A Button Mania game written in Ada
- ada
- game
- gtkada
STM32 UI library and tools
- stm32
- ada
- ui
- display
base58 encoding and decoding in ada
Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless)
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size