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