Pinion is an open-source cross-platform system scheduler