Ellis Kesterton

sddm-theme-clairvoyance. An SDDM theme

sirdi. Package manager for Idris

heapless. A functional programming language which does not require the heap at run-time.

startpage. My starting page for my browser.

dotfiles. Collection of all my dotfiles (configuration files) used to style my computer.

aplis. Experimental UniKernel OS Written In ASM/C/Idris

dependent-checker. A minimal dependent type checker.

idris2-gfx. Type safe wrappers for OpenGL and friends for Idris2

sap. Idris2 (s)imple (a)rgument (p)arser

warwick-maze-pacman. A Pacman game to be played within the Warwick University maze coursework application.