Uma Zalakain

typing-linear-pi. Typing the linear pi calculus in Agda

agda-bcam. Tutorial series introducing Agda to the people at BCAM

errata. Error handling made precise. Because error handling belongs in the types.

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

fyp. My final year project at the University of Strathclyde

CoContextualPi. Agda

snorkels-hs. Haskell implementation of Snorkels, a two person strategy board game

intro-pi-calc. a brief introduction to the pi calculus

Awesome-CV. Awesome CV is LaTeX template for your outstanding job application

aoc-rust. Learning myself some Rust with Aoc '22