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–24 of 24 · Most stars
Server implementing the Microsoft Language Protocol for Ada and SPARK
SPARK 2014 re-implementation of the TweetNaCl crypto library
Ada Bare Bones OS development tutorial source code
- ada
- port
- bare-bones-tutorial
- bare-bones
The Google Protocol Buffers implementation in Ada
The AURA Reference Implementation
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
- sound
- synthetizer
- wav
- win32mm
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
Implementation of Midi / MidiFile reading and writing
- midi
- library
- ada
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
Soccer-themed, 3D sokoban puzzle game that runs on Windows, OSX and Linux; featuring voice of Andres Cantor! Includes interactive autosolver.
- ada
- sokoban
- 3d
- soccer
Incremental analysis in Ada
- ada
- syntax-analysis
- incremental
- parsing
Ada implementation of D’Hondt electoral result calculator
An Ada implementation of XPath 1.0.
Genetic Algorithm Implementation for Ada
- generic
- algorithm
- ada
- library
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
Fully functional Hungarian Algorithm implementation in Ada
- hungarian-algorithm
- ada
- munkres
- kuhn
A pure Ada implementation of the SipHash PRF (mirror repository).
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64
Trivial implementation of fletcher_16 sum computation algorithm.