Piotr Paradziński (@lemastero)
github

lemastero

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    434
  • Global Rank 65,411 (Top 3 %)
  • Followers 81
  • Following 155
  • Registered almost 10 years ago
  • Most used languages
    Scala
         50.0 %
    Clojure
         14.3 %
    Agda     14.3 %
    Idris     7.1 %
    Haskell
         7.1 %
    PureScript     7.1 %
  • Location 🇵🇱 Poland
  • Country Total Rank 670
  • Country Ranking
    Agda     1
    Idris     1
    Scala
         11
    PureScript     14
    Clojure
         57
    Haskell
         130

Top repositories

1

scala_typeclassopedia

Abstractions from Category theory with simple description & implementation, links to further resources.
Scala
367
star
2

applied-category-theory-reading-club

Scala
7
star
3

concurrency_parallelism_effects

concurrency parallelism effects wiki
7
star
4

Triglav

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

agda-hott

Notes on Homotopy Type Theory in Agda
Agda
3
star
6

contravariant_profunctor_exercises

Scala
3
star
7

Idris-Applied-Category-Theory

Implementation of concepts from Applied Category Theory
Idris
3
star
8

clojure-string-calculator-kata

Clojure
1
star
9

purescript-supermonad

PureScript SuperMonads and SuperApplicatives
PureScript
1
star
10

compile-solve-zoo

Clojure
1
star
11

scala-types-madness

Scala
1
star
12

ten_pin_bowling

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

agda-verified-fp-algos

Agda
1
star
14

trifunctors_presentation

Scala
1
star
15

trifunctors

Haskell
1
star