Hi, I'm Ben! I do theoretical math at ASU, and when time permits, I also do some programming. Here is a list of my favorite projects I've done:

1. CORE: my proof assistant
2. Topographs: an animated website for interacting with topographs of integral quadratic forms
3. MinimalCC: a dead simple, fast C subset compiler written in 3000 lines of C
4. QR-util: a command line utility for generating QR code bitmaps
5. rubiks_cube: a terminal application which lets you solve a 3d rubik's cube

Use this link to contact me.