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

Connect to oracle database using SSH tunnel

The Z3 Theorem Prover

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

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

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

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

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

Bit-vectors and bit-slices for Rust

Stories for VSCode

World's first uwu-oriented language.

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.

Edge Redirector

My webpage

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

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