An Ada 2012 package to parse command line arguments and options
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
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.
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
This is an Ada 2012 package that provides an interface to BLAS.
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64