GitHub repository: steup/rulebook
Primary language: TeX
Description: The Rulebook for the RoboCup@Work league.