I'm a computer science researcher in voting theory. Here is a list of my coding projects.

• equalshares.net - Website with information about the Method of Equal Shares for Participatory Budgeting.
• equalshares-compute-tool - Web app (js) for computing voting outcomes using the Method of Equal Shares.

• abcvoting-app - Web app for testing approval-based committee voting rules, using the abcvoting package.
• pabutools-app - Web app for testing approval-based participatory budgeting rules, using the pabutools package.
• pref_voting-app - Web app for testing ranking-based single-winner voting rules, using the pref_voting package.
• apportionment-app - Web app for computing apportionment rules.

• pgf-tikz-html-manual - HTML version of the PGF/TikZ manual, produced using lwarp.
• pgfplots-html-manual - HTML version of the pgfplots manual.
• tikz.dev-style - Repository with a minimal example of making websites in the style of tikz.dev.

I've developed a hobby of following what happens at the Supreme Court, and am making tools to make the Court more accessible.

• scotusstats - A website presenting statistics about the Court in a customizable interface.
• scotus-podcast - Code producing a podcast feed of oral arguments, with podcast chapters and detailed description.
• scotus-videos - Code producing videos showing transcripts of oral arguments, published on YouTube.

• lp-model - A javascript library for modelling and solving (integer) linear programs.
• lpdual.com - Code for a simple website helping with constructing LP duals, versions of Farkas' lemma, and KKT conditions.

• mp3chapters.github.io - A web app for adding chapters to mp3 files such as podcasts.
• mp3chapters-player - A desktop app for playing mp3 files that shows chapters.

• texpresso-vscode - Visual Studio Code extension for using the TeXpresso live rendering system.
• pqtree.js - Javascript code for making PQ-trees for the consecutive ones problem.
• drag-drop-weak-orders - code for a simple drag and drop interface for weak orders (rankings with indifferences)
• ethical.diet - Code behind a website for showing the impact of buying animal products (infrequently maintained).