The Ada Conformity Assessment Test Suite, customised for GCC.
Repository Index
47,133 repositories indexed
25–48 of 58 · Most stars
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
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.
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Giza is trying to be a simple widget tool kit for embedded platforms
Simulated railway network in SPARK/Ada
Mars Polar Lander Simulation
Implementation of Midi / MidiFile reading and writing
- midi
- library
- ada
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
TeXCAD: a simple LaTeX {picture} drawing tool
- tex
- latex
- ada
- ada-language
Easy to use logging facilities for output to console in Ada programs
A simple 3DS Max model renderer
Ada implementation of D’Hondt electoral result calculator
An Ada implementation of XPath 1.0.
Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !
- ada
- ada-language
- 3d-engine
- software-rendering
Ada binding to OpenAL which tries to mimic original API while using Ada types.
Genetic Algorithm Implementation for Ada
- generic
- algorithm
- ada
- library
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
Distributed Simulation of Transport Networks
Fully functional Hungarian Algorithm implementation in Ada
- hungarian-algorithm
- ada
- munkres
- kuhn