GitHub repository: sheganinans/Static-Dimensions
Primary language: Agda
Description: A statically typed dimensional analysis calculator written in Agda.