Pinned Repositories
aLua
This is an Ada 2012 project which provides an easy way of embedding the Lua interpreter in an Ada program.
Ascon_SPARK
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
auto_counters
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
LALG
This is an Ada 2012 package that provides an interface to BLAS.
parse_args
An Ada 2012 package to parse command line arguments and options
PRNG_Zoo
This is a testbed for various (non-cryptographic) pseudo-random number generators and associated routines.
regressions
A Python package that implements various regression algorithms, including Partial Least Squares and Principal Components Regression
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.
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.
jhumphry's Repositories
jhumphry/regressions
A Python package that implements various regression algorithms, including Partial Least Squares and Principal Components Regression
jhumphry/parse_args
An Ada 2012 package to parse command line arguments and options
jhumphry/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.
jhumphry/auto_counters
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
jhumphry/SPARK_NORX
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
jhumphry/SPARK_SipHash
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
jhumphry/LALG
This is an Ada 2012 package that provides an interface to BLAS.
jhumphry/Ascon_SPARK
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
jhumphry/aLua
This is an Ada 2012 project which provides an easy way of embedding the Lua interpreter in an Ada program.
jhumphry/PRNG_Zoo
This is a testbed for various (non-cryptographic) pseudo-random number generators and associated routines.
jhumphry/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.
jhumphry/Ada_BinToAsc
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64
jhumphry/alire-index
Community index for the Alire project
jhumphry/dbfread
Read DBF Files with Python
jhumphry/gazetteer_etl
Upload gazetteer files from a variety of sources to a PostgreSQL database
jhumphry/pyxact
A Python (3.6+) project to explore an approach to accessing databases based on defining classes to represent transactions
jhumphry/tilings
Code for manipulating tilings of {2,3,4}-dimensional space.