to-ithaca / libraLinks

A dimensional analysis library based on dependent types
199Updated 10 months ago

Alternatives and similar repositories for libra

Users that are interested in libra are comparing it to the libraries listed below

Sorting: