I'm Curtis Fenner, an undergrad at University of Michigan. Right now, I'm probably working on something programming related!

I've been programming in some form for about ten years, and have learned many languages:


Proof Checker

A simple automatic proof-verifier for students learning proofs in JavaScript and Perl. The checker manipulates symbolic representations of mathematical statements and verifies the steps taken in a formal proof.


A small static analyzer for Lua, with emphasis on the ROBLOX game platform. This catches various scope, style, antipattern, and type misuses that are likely to lead to bugs.