Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/lemastero

Badges

Overview
Ranks
Repositories
Languages

Piotr Paradziński

@lemastero

Lublin

Profile age: over 10 years

Updated 10 days ago

87 followers • 155 following

Contacts

https://scalac.io/

Repositories

scala_typeclassopedia

383

40

updated 10 months ago • age over 8 years

Scala100.0%

applied-category-theory-reading-club

8

0

updated over 3 years ago • age over 5 years

Scala100.0%

concurrency_parallelism_effects

7

1

updated over 6 years ago • age over 6 years

6

2

updated about 1 month ago • age about 5 years

Scala100.0%

Idris-Applied-Category-Theory

5

1

updated over 2 years ago • age over 4 years

Idris100.0%

3

0

updated 10 months ago • age over 2 years

Agda100.0%

3

0

updated over 1 year ago • age almost 2 years

Haskell82.1%

Agda17.9%

1

1

updated 11 months ago • age almost 2 years

Haskell86.0%

Scala14.0%

clojure-string-calculator-kata

1

0

updated about 3 years ago • age over 9 years

Clojure100.0%

ten_pin_bowling

1

0

updated about 3 years ago • age almost 10 years

Scala100.0%

Contributions

2024
zio-dotty-quickstart.g8
2 PRs +4-4
Scala
17
4
2023
agda-stdlib
1 PR +14-3
Agda
625
257
16
mpl
1 PR +3-3
Scheme
64
5
agda2scheme
1 PR +54-0
Haskell
26
3
zio-dotty-quickstart.g8
3 PRs +17-14
Scala
17
4
rough-draft
1 PR +31-4
Scheme
10
3
milewski-ctfp-pdf
~8 PRs +662-160
TeX
6
2
2022
HoTTEST-Summer-School
1 PR +1-1
TeX
312
73
cicero
1 PR +0-12
Go
41
11
rackcheck
2 PRs +46-9
Racket
32
8