Login
2 results
Sorting
Relevant
Dependent
Created
Updated
Stars
Forks
Contributors
Contributing Search
Filters
Target
Js (2)
Jvm (2)
Scala
2.12 (2)
2.13 (2)
Scala.js
0.6 (2)
Topics
alphabet-soup (1)
functional-programming (2)
nat (1)
scala (2)
shapeless (2)
typelevel (1)
typelevel-programming (2)
typechecked/alphabet-soup
Type calculations at compile time
Scala (JVM):
2.12
2.13
Scala.js:
0.6
scala
shapeless
typelevel
functional-programming
typelevel-programming
alphabet-soup
36
1
3
typechecked/numerology
Scala (JVM):
2.12
2.13
Scala.js:
0.6
scala
typelevel-programming
nat
shapeless
functional-programming
15
1
2
1
(current)
