Software

My software projects are hosted on GitHub.

❮ ❯

Miscellaneous expand all

• (2026) MathBB (website) Python JavaScript AI Active development

  An AI-powered, agentic web app for collaborative math writing and presenting, proofs, and more.

• (2026) Smoothie (github) Python JavaScript AI Active development

  An AI-powered, agentic Blender add-on for creating 3D animations from natural language prompts. Describe what you want in plain English and Smoothie generates the Python code, shows it for review, and executes it in Blender.

• (2026) Kids Arcade (website) Python JavaScript AI Active development

  An AI-powered, agentic web-based coding app for kids.

• (2026) Machine Learning Apps (github) Python TypeScript AI Machine Learning Active development

  Have fun teaching yourself Machine Learning by training neural network models in a graphical, code-free environment. The Math Symbol Trainer app lets you experience an entire ML training pipeline from data synthesis through neural network architecture design using a drag-and-drop interface for layers, followed by model training with a real-time updated dashboard, and finishing with running inference on the trained model. The Agentic Symbol Trainer app adds "ML Engineer", an AI assistant that can run training for you, adjusting the learning rate and other parameters to optimize the loss function as training progresses, explaining its decisions, and giving you advice on how to train better models yourself.

• (2023) MadHat (website) (github) (book) Objective-C C

  macOS software for writing documents and presentations. MadHat is a next-generation mathematical typesetting system that merges the capabilities of TeX/LaTeX with contemporary digital publishing features including animations and dynamic elements.

Mathematics research expand all

• (2026) SofaMover (github) (paper) JavaScript

  A desktop application for visualizing and animating solutions to the moving sofa problem, a famous open problem in geometry that asks for the largest shape that can be moved around a right-angled corner in a hallway of unit width.

• (2024) 4CT: Four color theorem research (github) C Python Active development

  A research project to replicate the D-reducibility checking algorithm originally implemented in Python by Robertson-Sanders-Seymour-Thomas as part of their 1997 paper "The four-colour theorem" (J. Combin. Theory Ser. B 70, 2-44).

• (2021) Belousov-Zhabotinsky Simulator (github) Objective-C

  A simulation app for Belousov-Zhabotinsky reactions.

• (2020) OrientedSwaps (github) (paper) Mathematica

  A Mathematica package accompanying the paper "Staircase Young tableaux, sorting networks and last passage percolation," co-authored with Elia Bisi, Fabio Cunden, and Shane Gibbons.

• (2017) SofaBounds (github) (paper) C++

  A C++ command-line tool for computer-assisted proofs in the moving sofa problem. Companion package to the paper "Improved upper bounds in the moving sofa problem," written jointly with Yoav Kallus.

• (2017) SU3-ASYM (github) (paper) Mathematica

  A Mathematica notebook accompanying the paper "On the number of n-dimensional representations of SU(3), the Witten zeta function, and the Bernoulli numbers."

• (2016) MovingSofas (github) (paper) Mathematica

  A Mathematica package accompanying the paper "Differential equations and exact solutions in the moving sofa problem."

• (2014) FullyPackedLoops (github) (paper) Mathematica

  A Mathematica-based slideshow with embedded code libraries (linkpatterns.m and loops.m) implementing operations and interactive simulations related to fully packed loops, noncrossing matchings, and related mathematical objects, including topics connected to the Razumov-Stroganov conjecture.

• (2013) RefinedASM1234 (github) (paper) Maple

  A Maple package accompanying the paper "New enumeration formulas for alternating sign matrices and square ice partition functions," co-authored with Arvind Ayyer.

• (2013) GammaDelta (github) (paper) Mathematica

  A Mathematica notebook for verifying claims in the paper about refined enumerations of alternating sign matrices.

• (2009) RefinedASM (github) (paper) Mathematica

  A Mathematica package accompanying the paper "More refined enumerations of alternating sign matrices," co-authored with Ilse Fischer.

• (2007) ASM Simulator (github) Objective-C

  A macOS application for experimenting with random alternating sign matrices and domino tilings of the Aztec Diamond. Demonstrates the Arctic Circle Theorem. Written in Objective-C.

• (2007) Allocation (github) Objective-C

  A macOS application for experimenting with optimal and fair allocation of areas to points in a square domain, using Voronoi diagrams.

• (2007) MacTableaux (github) Objective-C

  A macOS application for experimenting with random Young diagrams and random Standard Young Tableaux (SYTs). Includes implementation of the Robinson-Schensted algorithm and jeu de taquin operations.

• (2007) MacSort (github) Objective-C

  A macOS application for experimenting with random sorting networks, also known as reduced word representations of the maximal permutation. Includes simulations of Uniform Sorting Networks and the Oriented Swap Process.

Old stuff expand all

• (2011) Magnetic Levitator (github) C30 PIC microcontroller

  A magnetic levitation device controlled by a PIC microcontroller.

• (2011) Calculus Widgets (github) Mathematica

  Interactive demos of calculus concepts developed for a class I was teaching.

• (2010) PagePop Objective-C

  An iPad app for managing and viewing a library of PDF files.

• (2008) Iconic Notes and Lists Objective-C

  iPhone app for writing notes and todo lists.

• (2008) Snatch Objective-C

  Remote control app to control your Mac or PC from your iPhone.