Alex Dixon

draft-reMarkable. A launcher for the reMarkable tablet, which wraps around the standard interface.

fingerterm-reMarkable. A build of fingerterm, modified to draw more nicely on the reMarkable ePaper device.

vimty. A vim typewriter

hove-letter. An implementation of the game Love Letter in the terminal, written in Haskell.

button-capture-reMarkable. A simple program to capture gpio button input on the reMarkable.

vino. A JavaScript visual novel engine.

kosaraju. Haskell implementation of Kosaraju's decision procedure for reachability on Vector Addition Systems with States (VASS).

microcosmos. Haskell

swipe-capture-reMarkable. A simple program to report left and right swipes as left and right button presses on the reMarkable.

flagon. A 5E-style document formatting and editing tool.

ocean-sample. Haxe

plain-words. HTML

karp-miller. An implementation of the Karp-Miller coverability tree algorithm in Haskell

oeis. An executable program for retrieving data from OEIS.

rM-inspirobot. Inspirational quotes on your lock screen.

eurovision-bot. Haskell

hake. Snake implemented in Haskell with GLOSS and ALUT

laser-eye-surgery. A game made with Unity in 48 hours for Global Game Jam, using the Tobii EyeX Eye Tracker

cusp-data-dive. Jupyter Notebook

hatch. Framework code for the introductory FP workshop.

infinite-jest. A mod for infinite-craft that adds multiplayer lockout / bingo gameplay.

aoc-2022. Haskell

amphi-frontend. Firebase implementation of a watch-along music server.

aoc-2021. Solutions to Advent of Code 2021 in Haskell.

obs-source-controller. A tiny program for showing and hiding OBS sources, using the websocket plugin.

duvet. A comparative checking framework for VASS coverability solvers.

aoc-2018. Advent of code 2018 (Haskell)

cs261. Software Engineering Group 16

spies.