Projects
Blackjack Strategy Analyzer

Compare & analyze card counting strategies in blackjack.
Budge

An open source & extensible money tracking tool without any bloat.
Browser Games

A collection of HTML5 JS minigames made for the browser.
SAT Solver

A SAT solver logic DSL & proof generation toolkit written in OCaml.