Daniel Richman's repositories
strict-rfc3339
Strict, simple, lightweight RFC3339 functions
python-ucam-webauth
Ucam-webauth and Raven client in Python
js-logtail
Remote log tailing using the HTTP Range header.
toy-assembler
Toy AMD64 assembler in OCaml, with stubs to execute the compiled code immediately.
cusf-standalone-predictor
Cambridge University Spaceflight landing predictor - a web-based tool for predicting the flight paths of meteorological sounding balloons.
namecheap-api
Unofficial API that hits the backend powering Namecheap's angular website
python-raven
Compatibility wrapper around python-ucam-webauth
rockblock-relay
Shuttle RockBLOCK messages to and from various places.
zeusbot-logmachine
Scripts that maintain the zeusbot pages on habhub.
cusf-landing-prediction
The landing prediction code from CU spaceflight.
ocaml-cohttp
Very lightweight HTTP server using Lwt or Async
postgres-proxy
Postgres connection proxy that looks up the owner of the socket (TCP-ident-style or UNIX-SO_PEERCRED) and provides the postgresql password automatically
postgres_async
OCaml/async implementation of the postgres protocol (i.e., does not use C-bindings to libpq)
simple-kvm
Single-file KVM guest manager
snowball-ticketing
Selwyn Snowball Ticketing System
tawhiri-oldui-juryrig
Use the old predict/hourly predictor UI from cusf-standalone-predictor and cusf-landing-prediction until tawhiri is complete.
tawhiri-tools
Auxillary programs used during the development of tawhiri.