Projects

Here are a few miscellaneous coding projects that I've wasted time on that might be of use to other people. At least these are the coding projects I've bothered to package up and put online.

Recursion Theory Latex Package

This is a package with a bunch of useful commands and symbols for recursion theorists a.k.a. computability theorists. I decided to call the package rec-thy since there are so many packages oriented toward computer science with comp-X names.

ZoteroSync

A python package that implements a command line zotero client. Probably, not that useful on it's own (though it does implement a pretty full client) but a good place to start if you wanted to manipulate a zotero library without reimplementing a client as I did.