tools

Miscellaneous set of applications for teaching/research related tasks.