This page lists some of my personal, work, and school projects. You can find the source code for (almost) all of these projects and more on GitHub.
All of my open-source projects receive continued maintenance when needed. The dates below, however, show when most of the major development happened.
Currently working on
- Radian (Summer 2016 – Present): Elegant but practical configurations for Emacs, Zsh, Tmux, and Git.
el-patch(Winter 2016 – Fall 2018): Emacs package for future-proofing Emacs Lisp customizations.
straight.el(Winter 2016 – Present): Next-generation, purely functional package manager for the Emacs hacker. Co-maintainer: Nicholas Vollmer.
- diary-manager (Spring 2017 – Summer 2018): Command-line tool and Emacs package for managing daily (encrypted, version-controlled) diary entries.
prescient.el(Fall 2017 – Winter 2019): Simple but effective sorting and filtering for Emacs.
- heroku-buildpack-emacs (Summer 2018): Heroku buildpack to install Emacs.
- GNU ELPA Mirror (Summer 2018 – Summer 2019):
GitHub mirror of the GNU ELPA and Emacsmirror package
repositories for use with
- Blackout (Fall 2018): Unified replacement for
dim.el; allows hiding or customizing major and minor mode lighters in Emacs.
- µTunes (Spring – Winter 2019): Aggressively minimal command-line music player and library manager following the UNIX philosophy, with Emacs interface. Attempt #3 at a personal music library manager.
- Apheleia (Summer 2019): Run code formatters on Emacs buffer contents without moving the cursor position, using RCS patches and dynamic programming.
- Selectrum (Fall 2019 – Spring 2020): Completion and incremental narrowing framework for Emacs, replacing Ivy and Helm. Co-maintainer: Clemens Radermacher.
- CTRLF (Winter 2019 – Spring 2020): Better single-buffer text search interface for Emacs, replacing Isearch and Swiper.
Games and apps
- TerrariaClone (Spring 2011 – Spring 2013; HackerNews thread): My first major project, a clone of Terraria, preserved as an example of how terrible code can be if you don’t pay attention to its quality.
- Chrono Count (Summer 2013 – Spring 2014): iOS app to manage countdowns and countups under arbitrarily complex schedules, previously available from the iOS App Store.
- Gravity (Winter 2013): Christmas present for my father. iOS app that simulates many-body Newtonian gravity.
- Christmas Rogue (Winter 2014): Christmas present for my father. Roguelike game inspired by Brogue and implemented in Java. Likely the most over-the-top Christmas present I will ever give.
- Hyperschedule (Fall 2017 – Fall 2019; source): Fast and powerful course scheduler for the Claremont Colleges. Current maintainer: Kye Shi.
- GitHub Email Backlog (Summer 2020): Simple Chrome extension which abuses the GitHub notifications API to automatically update my profile status with an estimate of how long you will wait for a response when you report an issue.
- Calculus: Intuitive Explanations (Summer – Fall 2015; source): 67 pages of LaTeX content, from limits to vector analysis, with 35 TikZ figures.
- Differential Equation Solution Strategies (Spring 2016; source): Summary of strategies for solving different types of differential equations, with proofs.
- Linear Algebra Summary Sheet (Spring 2016; source): Quick reference for important linear algebra theorems, grouped so that making connections is easy.
intuitiveexplanations.com(Spring 2017 – Present): Personal website built on Travis CI/CD using Make, Jekyll, LaTeX, GIMP and hosted on Netlify.
- mla-tex (Spring 2017 – Fall 2018): LaTeX document class for typesetting papers to MLA formatting standards.
Other personal projects
- TI-84 programs (Spring 2010 – Spring 2016): My first programming ever, on the TI-84 Plus Silver Edition in middle and high school.
- puzzles (Summer 2016): Solvers for KenKen and Sudoku puzzles in Clojure.
- empty (Summer 2016): Absolute bare minimum Leiningen template.
- conway (Fall 2016): A simple solver for generalized Slothouber-Graatsma (Conway) puzzles in Clojure.
- smarter-playlist (Fall 2016): Clojure application to generate iTunes playlists combining variety, cohesiveness, and novelty.
- wdx (Fall 2017): Simpler and more robust alternative to wd, written in Python.
- Madeline (Summer 2018): Novel approach to directory syncing, used to maintain complementary mirroring of two filesystem trees via SSH.
- Tidier (Spring 2019): Small application to auto-close abandoned GitHub issues by label and activity.
- Kalyn (Spring 2020; blog post): Compile a high-level functional programming language, inspired by Haskell but with Lisp syntax, all the way to ELF binaries targeting x86-64 without using any pre-existing components such as the GNU linker or C standard library.
(See also my resume.)
- Ecofasten and Alpine Snowboards pricing calculators (Summer 2015, ThinkTopic; proprietary): Frontend and backend work on existing Clojure/ClojureScript/Datomic web applications for generating price quotes for roof-mounted solar panels and alpine snowboards. Teammates: Charles Gruenwald, Keren Megory-Cohen.
- think.recommend (Winter 2015 – Summer 2016, ThinkTopic; proprietary): Library for testing and benchmarking collaborative filtering algorithms.
- cortex.optimise (Spring – Summer 2016, ThinkTopic): General-purpose library for analyzing, visualizing, and comparing gradient descent algorithms.
- think.quality (Summer – Winter 2016, ThinkTopic; proprietary): Tool for running company-wide Clojure code quality audits and dashboard to visualize results.
- CMS Changeset Dashboard (Summer 2017, Quantcast; proprietary): Full-stack administrator dashboard for an internal team to manage an internal database used by an internal webapp used by another internal team to manage another internal database. You can imagine the customer-facing impact.
- lazy-map (Fall 2017, ThinkTopic): Lazy map implementation for Clojure.
- UPM (Summer 2019, Repl.it): Universal package-management interface for Python, Node.js, Ruby, and Emacs Lisp.
- Science fair project (Fall – Winter 2011, Summer Middle School): Boolean satisfiability solver applied to Sudoku solving.
- Hangman 2 2 3 2 (Spring 2013, Boulder High School, Advanced C++): Class project. iOS app that plays hangman or, depending on usage, the stock market.
- Projectile Simulator (Fall 2013, Boulder High School, AP Physics C): Class project. Hacky Python GUI in Tkinter to solve arbitrary 2D kinematics problems interactively.
- MazeGen (Fall 2014, Boulder High School, Design Technology): Java application to generate and visualize laser-cutter schematics for three-dimensional marble mazes.
- layerize (Fall 2015, Boulder High School, Design Technology): Clojure application to generate and visualize laser-cutter schematics for a cross-sectional model of a “Möbius solid”.
- JFLAP Autograder (Fall 2016, Harvey Mudd College, CS 42: Principles & Practice): Script to automatically run test cases against student-submitted DFAs, NFAs, or Turing machines in JFLAP format.
- VotingLib (Fall 2016, Harvey Mudd College, MATH 189G: Mathematics of Voting): Java library written for a short research project investigating the performance of different voting systems assuming voter satisfaction can be modeled as a high-dimensional Eucliean distance metric.
- whales.life (Spring 2019, Harvey Mudd College, CS 121: Software Development; source): Simple webapp for playing chess against an AI using minimax and neural networks. Teammates: Ben Baral, Max Treutelaar, Miles President, Shannon Collier.
- heroku-buildpack-git-lfs (Spring 2019, Harvey Mudd College, CS 121: Software Development): Heroku buildpack to install Git LFS and download assets transparently during build.
- Webapps Done Right (Spring 2019, Harvey Mudd College, CS 121: Software Development; slides and source): Guest lecture I gave to my class on webapp development using Python, Pipenv, Flask, Heroku.
- Lossless Path MTU Discovery (Fall 2019 – Spring 2020, Harvey Mudd College, CS Clinic; slides and Internet-Draft): Implementation in the Linux kernel of a replacement for Path MTU Discovery with improved performance and robustness. Teammates: Bradley Newton, Hakan Alpan, Miles President.
- IPv6 Routing Extension Header Benchmarking (Spring 2020, Harvey Mudd College, CS Clinic; slides and Internet-Draft): Systematic procedure for comparing the performance of IPv6 routing extension headers including Routing Header Type 0, Segment Routing Header, and Compressed Routing Header. Teammates: Bradley Newton, Hakan Alpan, Miles President.
- Life After Mudd (Winter 2019 – Spring 2020, Harvey Mudd College, CS 189: Programming Practicum; source): Geographic visualization webapp for results of a survey on post-graduation plans for the Class of 2020. Current maintainer: Kye Shi.
- CAS (Summer 2014): Failed attempt to create a computer algebra system, like Mathematica.
- minimal-webapp (Summer 2016): Noble effort to create a ClojureScript webapp that did not require a huge number of incomprehensible build system configuration files that nobody quite understood. It almost worked.
- acc (Summer 2017 – Summer 2018): Command-line accounting tool with first-class support for reconciling multiple ledgers interactively. This project was abandoned when it was pointed out to me by a friend that I didn’t actually have to track every single one of my financial transactions.
- etunes (Fall 2017 – Summer 2018): Declarative, version-controlled music library manager for Emacs. Attempt #1 at a personal music library manager.
- fstunes (Winter 2018): Extremely minimal music library manager leveraging UNIX filesystem abstractions. Attempt #2 at a personal music library manager.
Abandoned and on-hiatus projects
- MazeGen Neue (Summer 2016): An attempt to rewrite MazeGen to be slightly less of a mess. Unfortunately, I went much too far in the opposite direction and created some Enterprise FizzBuzz, and the project was abandoned.
- pset (Fall 2017): Configurable templating system for university problem sets typeset in LaTeX.
- Ishikk (Summer 2018): Read-write Google Calendar interface for Emacs, with graphical week view.
- Tabcrush (Summer 2019): High-performance power tool for editing large-scale tabular data in Emacs, intended for use with µTunes.
- Mercury (Summer – Fall 2019): Emacs interface to Facebook Messenger, Signal, and SMS (via Google Hangouts)
- Dumbparens (Spring 2020): Sane delimiter-matching package for Emacs with primitives based on syntax tables, replacing Smartparens, Paredit, and Electric Pair mode.