StalmarckSAT
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.
Jul 1, 2025
Resumax
Resumax is a personalized AI resume reviewer built with Llama 3.2 for the Loeb Career Center at Amherst College.
Mar 11, 2025
MatPlus
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.
Mar 11, 2025
Amherst Coursework
Amherst Coursework is a web application that provides Amherst College students and faculty with an intuitive, advanced interface for course search.
Mar 11, 2025
Amherst Connect
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.
Nov 1, 2024
SEC Sleuth
SEC Sleuth is a web interface designed to efficiently retrieve and present data from SEC filings, specifically the 10-Q and 10-K forms available through the EDGAR database. The application leverages a RAG fine-tuned on Microsoft Phi-3.5 Mini to provide accurate and contextually relevant information from these financial documents.
Jul 11, 2024
Vendor Map
Vendor Map is a web application that streams live NYC foot traffic data and applies game theory principles to optimally allocate food vendors across the city. Vendor Map won 2nd prize at the 2024 Cubist Hackathon.
Apr 11, 2024