jhumphry

Pinned Repositories

aLua
This is an Ada 2012 project which provides an easy way of embedding the Lua interpreter in an Ada program.
Language:Ada1 2 00
Ascon_SPARK
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
Language:Ada3 2 00
auto_counters
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Language:Ada8 2 10
LALG
This is an Ada 2012 package that provides an interface to BLAS.
Language:Ada4 4 00
parse_args
An Ada 2012 package to parse command line arguments and options
Language:Ada12 5 12
PRNG_Zoo
This is a testbed for various (non-cryptographic) pseudo-random number generators and associated routines.
Language:Ada1 1 00
regressions
A Python package that implements various regression algorithms, including Partial Least Squares and Principal Components Regression
Language:Python22 2 018
SPARK_NORX
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
Language:Ada8 3 00
SPARK_SipHash
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
Language:Ada5 2 00
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.
Language:Python9 2 03

jhumphry's Repositories

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