# Projects

### Open Source Contributions

NixOS
NixOS is a distribution of GNU/Linux that uses an entirely different model for package management and configuration. Configuration is entirely declarative, with reproducibility one of the most significant goals of the project. I package a couple of programs, and have contributed some minor bug-fixes to others.
Kiera Theme for Hugo
\'qal\' is a tool to query academic libraries, like Springer Link or IEEEXplore. It includes a tool for running one-off queries as well a tool for setting up several queries to be run across several libraries automatically.