Geeks
to-ithaca
/
libra
A dimensional analysis library based on dependent types
Primary Language
Scala
Other
NOASSERTION
libra GitHub
Markdown
Readme
33
Issues
198
Stargazers
11
Watchers
Watchers
barambani
Dublin, Ireland
guersam
Seoul, South Korea
jhcloos
limpid-kzonix
Kyiv, Ukraine
maekl
Stockholm
philleach
Farnham, Surrey
pleira
Germany
plokhotnyuk
Disney Streaming
QiWang1989
Boston
yilinwei
zainab-ali
London, UK