🖼️ the compiling to closed categories compiler

REST API for any Postgres database

Traditional roguelike game with pixel-art graphics and simple interface

Combine internet connections, increase your download speed

Or: How I Learned to Stop Worrying and Love the Greenback

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

LaTeX notes for a few courses I've taken at the University of Waterloo.