GitHub repository: timjb/quantities
Primary language: Idris
Description: Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐