tsani

coding-cat

in-browser Python coding problems for beginners

coding-cat-public

publicly available problems for Coding Cat

jerrington.me

Blog & personal website

f24comp206-notes

Lecture notes for McGill's COMP 206, Fall 2024

leetcode

macro-traco

A web application for tracking nutrition

dotfiles

Collected dotfiles and other scripts.

eval

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

pdfslice

Make cutting pdfs slightly less miserable

interleave-it

A CLI and HTTP API for interleaving PDF files

cv

My cv.

aoc

Advent of code 2019 in Haskell

comp-302-review

Review problems for COMP 302

learn-ocaml

A Web Application for Learning OCaml

servant-github-webhook

Servant combinators for writing secure GitHub webhooks

cw-ml-labs

Labs for Computing Workshop ML

dommy-nommy

Dominate your nom-nom planning

idris-messing-around

tetrefis

Tetris as an EFI application

apollo-extension

Browser extension for Apollo

apollo

HTTP MPD integration for Labcoders Radio

lcr

Listen to http://radio.labcoders.club

tanks

msc

My masters thesis

tpb

"tsani's pushbullet client"

libt

An opinionated suite of ComputerCraft libraries and tools

tput-servant

A trivial file upload service

factorio-todo-list

A distributed todo list mod for Factorio

fancylojban

Lojban the dependently typed functional programming language

lsp-haskell

lsp-mode :heart: haskell