Software engineer with an interest in type theory and functional programming. Rocket and strafe jumping fanatic 
Stars
An open source personal productivity platform built on Markdown, turbo charged with the scripting power of Lua
Combustion engine simulation game that generates realistic audio.
Combustion engine simulator that generates realistic audio.
A python script to block attacks from a network range address, from CIDR /23 up to /31
Encrypted Recipes to prevent users from finding out recipes