I'm Curtis Fenner. I graduated from the University of Michigan in 2018.
I enjoy working with code and math!
Shiru is a toy programming language, interpreter, and compiler. It also includes a simple SMT-solver, used to verify correctness conditions at compile time, such as array indexes being in-bounds.