An Ada 2012 package to parse command line arguments and options
created at Dec. 14, 2014, 9:42 p.m.
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
created at Feb. 21, 2016, 9:38 p.m.
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
created at May 9, 2016, 8:48 p.m.
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
created at Aug. 20, 2015, 5:19 p.m.
This is an Ada 2012 package that provides an interface to BLAS.
created at Oct. 25, 2015, 9:20 p.m.
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
created at Aug. 19, 2016, 10:08 p.m.
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.
created at March 14, 2015, 9:14 p.m.
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64
created at Oct. 2, 2015, 8:29 p.m.