repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
arrow-kt/arrow | KotlinJava | 5.8k | 0 | 417 | 0 |
typelevel/cats-effect | ScalaOther | 1.9k | 0 | 491 | 0 |
coq-community/lemma-overloading | CoqJavaScriptCSS | 26 | 0 | 6 | 0 |
thma/LtuPatternFactory | Haskell | 960 | 0 | 40 | 0 |
gvolpe/pfps-shopping-cart | ScalaOther | 487 | 0 | 156 | 0 |