Projects 👨💻
A collection of my works, big and small
Theory Combination Visualizer
A basic visualizer for polite theory combination. Shows the steps that many modern SMT solvers use when verifiying a logic statement from two theories
GPT Math
Basic experiment of improving math problem solving for ChatGPT
DSRLM GPT
Basic experiment of improving logical reasoning (specifically relation extractions) for ChatGPT
Uniera Website
A website project for Uniera Consulting. Give them a look!
Program Synthesizer
Basic program-by-example (PBE) synthesizer that can generate programs that perform basic array manipulation and arithmetic on an input array. Does bottom-up and top-down enumeration to search for programs
MeetCode
A collaborative platform to learn LeetCode problems together. Submitted to the Boilermake X hackathon
VChess
Basic C++ chess engine for playing chess games and generating optimal moves. Designed to be paired with a GUI and be a backend for chess programs. Deployable to the web with WebAssembly
Sorting Visualizer
Web app that animates many different sorting algorithms
yt-dlp GUI
Simple GUI for the popular Youtube downloader library
Vusic
Fast and easy to use music player and queuer, inspired by Discord GroovyBot. Submitted to the BoilerMake VIII Hackathon
BF Interpreter
Simple Brainf**k interpreter writen in C. Has basic error checking.
Blanner
A degree and semester course planner for Purdue students. Submitted to the Boilermake IX Hackathon
vsearch
An attempt to make a customizable web crawler/data miner wth search engine features
vBlocker
Simple browser extension that blocks user specified domains with a password
HealthEye
A video analytics IoT system that allows you to monitor people traffic and COVID social distancing violations. Uses Microsoft Azure Web services. Submitted to the Microsoft Azure AI 2021 Hackathon
ASCII Art Converter
Converts regular images to text characters based on pixel intensity, adding some "text-ure" to them!
Portfolio Website
Website to showcase my projects and personal links