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–14 of 14 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
A secure and high performances microkernel for building secure MCU-based IoTs
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
- ada
- ada-language
- zip
- zip-archive
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada
Easy to use logging facilities for output to console in Ada programs
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
Christoph Karl Walter Grein's Smart Pointers
A pure Ada implementation of the SipHash PRF (mirror repository).
Ada bindings for wiringPi
- raspberry-pi
- raspberrypi
- wiringpi
- wiringpi-library