The Z3 Theorem Prover

The most widely used, high performance Minecraft server that aims to fix gameplay and mechanics inconsistencies

HTML/CSS drawing in the style of an 18th-century oil painting. Hand-coded entirely in HTML & CSS.

A tiny helper application to force Windows 10 to use your preferred web browser instead of ignoring the setting to promote Microsoft Edge. Only runs for a microsecond when needed.

Android Graph Library for creating zoomable and scrollable line and bar graphs.

Stories for VSCode

A robust quine program that works even after any one character is deleted.

Atom Material Icons for JetBrains - Replace File and UI Icons for better visual grepping.

World's first uwu-oriented language.

Creates one big map from Dynmap (Minecraft server plugin) tiles

Bit-vectors and bit-slices for Rust

Edge Redirector

Northwestern Directory Search component, for use with Dynamic Forms for Laravel

Connect to oracle database using SSH tunnel

Music Ranker for Spotify is a web app created using the React.JS library. The app pulls user data from Spotify API, and ranks songs in orders of valence, danceability, and energy. Check it out:

fancy slidebar with an animated underline I created using React.js and javascript

My webpage