jhumphry

regressions. A Python package that implements various regression algorithms, including Partial Least Squares and Principal Components Regression

parse_args. An Ada 2012 package to parse command line arguments and options

ukraildata_etl. This project aims to load the UK rail timetable and station data provided by the Association of Train Operating Companies (at data.atoc.org) into PostgreSQL so that it can be analysed more easily.

auto_counters. An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.

SPARK_NORX. An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm

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

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

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

Reqrep_Task_Pools. 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.

aLua. This is an Ada 2012 project which provides an easy way of embedding the Lua interpreter in an Ada program.

Ada_BinToAsc. An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64

PRNG_Zoo. This is a testbed for various (non-cryptographic) pseudo-random number generators and associated routines.