GitHub repository: CoqRogue/convert-units
Primary language: JavaScript
Description: An elegant way to convert quantities between different units.