Providing downloadables using github pages

Rocq code from UPenn's Logical Foundations book

Checks peoriacharter.com once a day for seats on the trips I care about and notifies me

Lean formalization of non-existence of approx Nash equilibrium in oligopolistic data markets with linear pricing (arXiv:2608.14018)

A collection of my personal lean projects

Remove unneeded info from TeX's stdout

Script for analyzing and visualizing text files in which I log my life

Conditional Predicate Implication Graph in JS, and its application to fair division

LaTeX paper 'Exploring Relations among Fairness Notions in Discrete Fair Division'

Narrator with Subtitles

Blog in Pelican

A JavaScript library (and some associated CSS) to create simple forms

Verify fair division counterexamples (allocations that satisfy one fairness notion but not the other)

Sets up a LaTeX environment in Docker and compiles an example LaTeX document

Source files for TheoremDep - a theorem dependency tracker

Convert JSON itinerary to HTML

View a graph with comments attached to nodes and edges

Source code for website that lists the gists of research articles and categorizes them by topics.

Website documenting examples of bad handwriting I have come across while grading homeworks.

Simple and lightweight theme for Pelican

A new look for Jugal Garg's website

Seamlessly switch between color schemes in your LaTeX documents

Extract information about citations, theorems, definitions, etc from the LaTeX aux file

Create an HTML timetable from a JSON schedule

Transliterate among Indian scripts