dixonary

obs-source-controller

A tiny program for showing and hiding OBS sources, using the websocket plugin.

dixonary-mc

Microcosmos blog for dixonary.co.uk

apollo

A Discord bot for the University of Warwick Computing Society

discord-irc

Connects Discord and IRC channels by sending messages back and forth.

kosaraju

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

ReMarkableAPI

Docs and implementation of the reMarkable file sync API

aoc-2019

Advent of code solutions in Haskell

microcosmos-yesod

karp-miller

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

duvet

A comparative checking framework for VASS coverability solvers.

vass

Haskell implementation of Vector Addition Systems with States.

button-capture-reMarkable

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

pandoc

Universal markup converter

wgdwebsite

The society website

hove-letter

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

ansi-adventure

A text-adventure game with ANSI-computed terminal effects.

functional-way

An attempt to write small programs (eg -algorithms) in a functional way.

harkov

Markov chains in Haskell

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

netevents

A simple, event-driven TCP networking client-server architecture.

flixel

Free, cross-platform 2D game engine powered by Haxe and OpenFL

hscript

Parser and interpreter for Haxe expressions

advengine

aoc-2018

Advent of code 2018 (Haskell)

pennis

A combination of Pong and Tennis

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

hatch

Framework code for the introductory FP workshop.

spies

bemused