Rankings
Badges
/
lemastero
Rankings
Badges
Overview
Ranks
Repositories
Languages
Piotr Paradziński
@lemastero
Refresh
Open GitHub
Lublin
Profile age: over 10 years
Updated 9 days ago
87 followers • 155 following
Contacts
https://scalac.io/
@pparadzinski
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 1
Persona
Creator
#77,660
#316,519
#140,553
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
scala_typeclassopedia
383
40
updated 10 months ago • age over 8 years
Scala
100.0%
applied-category-theory-reading-club
8
0
updated over 3 years ago • age over 5 years
Scala
100.0%
concurrency_parallelism_effects
7
1
updated over 6 years ago • age over 6 years
Triglav
6
2
updated about 1 month ago • age about 5 years
Scala
100.0%
Idris-Applied-Category-Theory
5
1
updated over 2 years ago • age over 4 years
Idris
100.0%
View all 44 repositories
Last 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
View all contributions
Latest Updates
05 Sep 2025
Followers Count:
88
87
24 Jul 2025
Followers Count:
87
88
26 Jun 2025
Followers Count:
88
87
11 Jun 2025
Followers Count:
87
88
29 Apr 2025
Followers Count:
88
87
06 Jan 2025
First seen
Subscribe to lemastero's GitHub rank updates in your messenger
WhatsApp
Telegram
