An Ada 2012 project that implements various binary-to-ASCII codecs such as Base6

Ada0isc

8 years ago

A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014

Ada3isc

last year

An Ada 2012 project that implements reference counting approaches to resource ma

Ada8isc

last year

This is an Ada 2012 package that provides an interface to BLAS.

Ada4isc

2 years ago

This is an Ada 2012 package that provides a task pool system for jobs which each

Ada1isc

9 years ago

An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encrypti

Ada8isc

6 years ago

An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function

Ada5other

6 years ago