A collection of tools to automate a variety of tasks, from video processing to solving optimization problems.