https://github.com/to-ithaca/libra
Scala199
3 months ago
A dimensional analysis library based on dependent types
Other