A set of Ada components to allow 3D simulations, games and GUI's in Ada.
Repository Index
47,133 repositories indexed
25–48 of 62 · Most stars
An Ada 2012 package to parse command line arguments and options
Ada bindings for the Microsft WinRT Api
- winrt
- ada-winrt
- gnat
- ada
Ada library and tools for the analysis of Complex Networks and more
A collections of small nifty demos/sample code that may help better layout data or structure project
AWS templates engine.
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.
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
Ada binding for liblzma compression library
- lzma
- ada
- compression
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- 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.
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
TeXCAD: a simple LaTeX {picture} drawing tool
- tex
- latex
- ada
- ada-language
Easy to use logging facilities for output to console in Ada programs
This is an Ada 2012 package that provides an interface to BLAS.
A simple 3DS Max model renderer
Ada implementation of D’Hondt electoral result calculator
An Ada implementation of XPath 1.0.