These are useful for generating custom pulley profiles for HTD timing belts. Can be used to create custom sizes for pullies in FRC or Combat Robotics. https://grabcad.com/library/parametric-htd-pulleys-1