Starred repositories
LaTeX class for worksheets/homework assignments/exams.
open_agb_firm is a bare metal app for running GBA homebrew/games using the 3DS builtin GBA hardware.
A memory safe implementation of sudo and su.
Insult users that mistype their password (quick prototype)
Probabilistic separation logics for verifying higher-order probabilistic programs.
Sculpted and curved keycaps for Kailh Choc and MX switches
Use Alfred to quickly open notes in iCloud/Apple Notes. Written in Go and designed for speed.
An educational tool for analyzing the correctness of Fitch Proofs.
A formalisation of generalised containers in Cubical Agda.
Disorder30 - meme(ish) mechanical keyboard based on pro micro.
Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.
Emacs mac port formulae for the Homebrew package manager
OCaml Web client, composable with Dream [unannounced]
Linear Logic in Coq (by Auger)