Projects

Some stuff I've been making.

Badget

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

Compare & analyze card counting strategies in blackjack.

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