Login
4 results
Sorting
Relevant
Dependent
Created
Updated
Stars
Forks
Contributors
Contributing Search
Filters
Target
Js (2)
Jvm (4)
Scala
2.11 (3)
2.12 (3)
2.13 (2)
Scala.js
0.6 (2)
Topics
to-ithaca/libra
A dimensional analysis library based on dependent types
Scala (JVM):
2.11
2.12
2.13
Scala.js:
0.6
189
26
8
zainab-ali/libra
A dimensional analysis library based on dependent types
Scala (JVM):
2.11
2.12
6
1
3
soronpo/dfiant
Scala (JVM):
2.13
gilt/laserdisc
Scala (JVM):
2.11
2.12
Scala.js:
0.6
1
(current)