grub-choose-default is a simple but handy GUI to set the grub default for the next boot. It works under Linux and Windows.
A jQuery XPath plugin.
Unit tests for MariaDB and MySQL.