Pinned Repositories
agda-bcam
Tutorial series introducing Agda to the people at BCAM
CoContextualPi
errata
Error handling made precise. Because error handling belongs in the types.
fyp
My final year project at the University of Strathclyde
lightweight-motion
Lightweight RPi-ready motion detection for USB and HTTP(S) cameras!
qinfluxdb
A little ORM for issuing queries to InfluxDB
session-types-coq
Formalising session types in Coq
typing-linear-pi
Typing the linear pi calculus in Agda
umazalakain's Repositories
umazalakain/lightweight-motion
Lightweight RPi-ready motion detection for USB and HTTP(S) cameras!
umazalakain/qinfluxdb
A little ORM for issuing queries to InfluxDB
umazalakain/snorkels-hs
Haskell implementation of Snorkels, a two person strategy board game
umazalakain/django-acme
Just a tiny view that exposes `ACME_CHALLENGE*` environment variables.
umazalakain/django-markdownx
Comprehensive Markdown plugin built for Django
umazalakain/django-watson
Full-text multi-table search application for Django. Easy to install and use, with good performance.
umazalakain/gor