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 theabcvotingpackage.pabutools-app- Web app for testing approval-based participatory budgeting rules, using thepabutoolspackage.pref_voting-app- Web app for testing ranking-based single-winner voting rules, using thepref_votingpackage.apportionment-app- Web app for computing apportionment rules.
pgf-tikz-html-manual- HTML version of thePGF/TikZmanual, produced usinglwarp.pgfplots-html-manual- HTML version of thepgfplotsmanual.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.PyNormaliz_inequalities- Python package for interacting with Normaliz, e.g. to count integer points in a polyhedron.scs.wasm- A WebAssembly version of the SCS convex programming solver.
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).hpmor.info- An annotated version of Harry Potter and the Methods of Rationality (infrequently maintained).