Autosplitter for Linux (for the LiveSplit Server)

All in one karaoke software

The world's most hated IT stickers

An interactive web application for learning the fundamental concepts of type inference.

My book introducing you to Elm!

Magic: the Gathering set symbol pictographic font

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Modular visual interface for GDB in Python

Scala-based project to visualize Scala programs in UML class diagrams.

Haskell Language Report

Cache in JSON format of tournaments posted on MTGO, Manatraders, Melee and Topdeck Websites

Open karaoke party system

Noise suppression plugin based on Xiph's RNNoise

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

The source code to VVVVVV! http://thelettervsixtim.es/

collection of tools for easy handling of Magic: The Gathering data on your computer

A project to statically recompile following games to create Windows or Linux (x86 or arm) versions of the games - Albion, X-Com: UFO Defense (UFO: Enemy Unknown), X-Com: Terror from the Deep, Warcr…

Web Audio DAW. Use the Web Audio API for dynamic sound synthesis. It's like jQuery for your ears.

Parser for the Pathfinder SRD

Cross-platform XMPP client

mirror

haskell IO monaden Vortrag

Hauer Chat Protocol

A Haskell webserver / webframework / application server

A command line twitter client, written in python

A command line twitter client, written in Bash