Git repository
At least some of the code from the various programs we use is available in a git repository at
The repository is private for now, but talk to Tina if you need access.
I started that repository because it should provide better diff views of the code base over time. We keep an extensive archive of our programs, but they are hard to compare in that setting, and it's hard to see when something changed.