Rankings
Badges
/
jmgimeno
Rankings
Badges
Overview
Ranks
Repositories
Languages
Juan Manuel Gimeno
@jmgimeno
Refresh
Open GitHub
🇪🇸 Lleida, Spain
Profile age: over 14 years
Updated 2 days ago
101 followers • 27 following
Organizations
Repositories
okasaki-clojure
132
8
updated over 7 years ago • age almost 14 years
Clojure
100.0%
algorithm-design-with-haskell
7
2
updated over 4 years ago • age over 4 years
Haskell
93.1%
Idris
6.9%
categories-working-hacker
2
2
updated over 7 years ago • age over 7 years
Haskell
100.0%
Contributions
2025
yaes
3 PRs
+211
-17
Scala
103
6
8
2024
a-functional-approach-to-java
1 PR
+1
-1
Java
48
21
2023
zio-quickstarts
1 PR
+63
-17
Scala
63
44
zio-channel
2 PRs
+43
-20
Scala
13
1
11
2022
zio
2 PRs
+4
-4
Scala
4,283
1,371
155
cats-effect
1 PR
+3
-2
Scala
2,173
560
119
2021
cats
1 PR
+2
-2
Scala
5,370
1,232
67
cats-course
2 PRs
+30
-18
Scala
63
83
2018
TextAnnot-API
1 PR
+36
-24
Java
1
4
2017
category-theory-programmers
3 PRs
+5
-5
522
38
Show more
