A component to aid in writing shell-like applications in Ada.
Repository Index
47,133 repositories indexed
49–72 of 116 · Most stars
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator
The Corporate Bullshit Generator
- ada
- fun
- text-generation
- ada-language
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
GNAT Components Collection – Bindings to C libraries
AZip: a free, portable Zip Archive Manager
- ada
- ada-language
- zip
- archive
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
An Ada 2012 package to parse command line arguments and options
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada
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 library and tools for the analysis of Complex Networks and more
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
Ada interface to the readline library
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
SPARK TOTP library
SPARK formal verification automated with Travis CI
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada