An Ada 2012 package to parse command line arguments and options
Repository Index
47,133 repositories indexed
97–120 of 209 · Most stars
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada
ada privilege escalation
libsodium for Ada - A secure cryptographic library
Language Server Protocol for Ada
The Ada Conformity Assessment Test Suite, customised for GCC.
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Ada bindings for the Microsft WinRT Api
- winrt
- ada-winrt
- gnat
- ada
Ada client library for ROS2/RCL
Ada library and tools for the analysis of Complex Networks and more
The repository host gives no description.
A collections of small nifty demos/sample code that may help better layout data or structure project
Bingo application in GTKAda
- gtkada
- gnat
- ada
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
Ada interface to the readline library
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
AWS templates engine.
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
AdaChess is a smart chess engine written from scratch in the Ada programming language
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
The repository host gives no description.
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
SPARK TOTP library