Discover @lemastero Open Source projects

Piotr Paradziński (@lemastero)

lemastero

Stars
434
Global Rank 63,051 (Top 3 %)
Followers 79
Following 155
Registered about 9 years ago
Most used languages

Scala
50.0 %

Clojure
14.3 %

Agda 14.3 %

PureScript 7.1 %

Haskell
7.1 %

Idris 7.1 %
Location 🇵🇱 Poland
Country Total Rank 670
Country Ranking

Agda 1

Idris 1

Scala
11

PureScript 14

Clojure
56

Haskell
134

scala_typeclassopedia

Abstractions from Category theory with simple description & implementation, links to further resources.

applied-category-theory-reading-club

concurrency_parallelism_effects

concurrency parallelism effects wiki

Triglav

Profunctor optics in Scala, arrows, modular approach to abstractions in category theory

agda-hott

Notes on Homotopy Type Theory in Agda

contravariant_profunctor_exercises

Idris-Applied-Category-Theory

Implementation of concepts from Applied Category Theory

clojure-string-calculator-kata

purescript-supermonad

PureScript SuperMonads and SuperApplicatives

compile-solve-zoo

scala-types-madness

ten_pin_bowling

Robert Martin, Clean Code video, implement bowling game score, in Scala, using TDD approach

agda-verified-fp-algos

trifunctors_presentation

trifunctors