I enjoy making things. Here are a selection of projects that I have worked on over the years.
StalmarckSAT is the only open source SAT solver based on the Stålmarck Procedure. It is designed to provide researchers a solver to improve the procedure and bring the procedure back to the forefront of SAT solving after 30 years of dormancy.
Amherst Coursework is a web application that provides Amherst College students and faculty with an intuitive, advanced interface for course search.
MatPlus is a Python package that provides easy, convenient plotting capabilities built on top of matplotlib. It simplifies the creation of common visualization types with intuitive APIs.
Resumax is a personalized AI resume reviewer built with Llama 3.2 for the Loeb Career Center at Amherst College.
Access Amherst is a web application created to connect Amherst College students through organized, accessible, and diverse event updates on campus. The platform provides real-time information on campus events, allowing students to plan their schedules effectively.
