SPARK 2014 re-implementation of the TweetNaCl crypto library
Repository Index
47,133 repositories indexed
1–12 of 12 · Most stars
The Google Protocol Buffers implementation in Ada
The AURA Reference Implementation
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
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
Ada implementation of D’Hondt electoral result calculator
An Ada implementation of XPath 1.0.
Genetic Algorithm Implementation for Ada
- generic
- algorithm
- ada
- library
Fully functional Hungarian Algorithm implementation in Ada
- hungarian-algorithm
- ada
- munkres
- kuhn
A pure Ada implementation of the SipHash PRF (mirror repository).
Trivial implementation of fletcher_16 sum computation algorithm.