Projects

Here are a few miscellaneous projects that I've wasted time on that might be of use to other people. As my life calms down a bit I plan to post more miscellaneous scripts and the like here but for now just this.

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.