tsani

tetrefis

Tetris as an EFI application

jerrington.me

Blog & personal website

comp-302-review

Review problems for COMP 302

servant-github-webhook

Servant combinators for writing secure GitHub webhooks

eval

An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.

typarsec

Type-level parser combinators

dotfiles

Collected dotfiles and other scripts.

apollo

HTTP MPD integration for Labcoders Radio

tpb

"tsani's pushbullet client"

fancylojban

Lojban the dependently typed functional programming language

apollo-extension

Browser extension for Apollo

cv

My cv.

lcr

Listen to http://radio.labcoders.club

aoc

Advent of code 2019 in Haskell

autobest

I wanna be the very best, like no one ever was

cw-ml-labs

Labs for Computing Workshop ML

dommy-nommy

Dominate your nom-nom planning

factorio

Factorio Planner

factorio-todo-list

A distributed todo list mod for Factorio

idris-messing-around

interleave-it

A CLI and HTTP API for interleaving PDF files

learn-ocaml

A Web Application for Learning OCaml

leetcode

libt

An opinionated suite of ComputerCraft libraries and tools

lsp-haskell

lsp-mode :heart: haskell

macro-traco

A web application for tracking nutrition

msc

My masters thesis

pdfslice

Make cutting pdfs slightly less miserable

tanks

tput-servant

A trivial file upload service