Skip to main content
Avatar for MHenderson from


3 projects


Last released on Aug 8, 2012

Latin squares and related designs.


Last released on Aug 22, 2012

List-colouring of graphs


Last released on Jan 9, 2011

Whole Architecture Verification

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging CloudAMQP CloudAMQP RabbitMQ AWS AWS Cloud computing Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page