Repos by lemastero
lemastero / repos
37 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | scala_typeclassopedia | Scala | 375 | 474 |
| concurrency_parallelism_effects | unknown | 7 | 201,187 |
| applied-category-theory-reading-club | Scala | 7 | 11,086 |
| Triglav | Scala | 5 | 13,665 |
| contravariant_profunctor_exercises | Scala | 3 | 18,719 |
| Idris-Applied-Category-Theory | Idris | 3 | 416 |
| agda-hott | Agda | 3 | 573 |
| scala-types-madness | Scala | 1 | 54,882 |
| clojure-string-calculator-kata | Clojure | 1 | 30,863 |
| ten_pin_bowling | Scala | 1 | 45,999 |