Rankings
Badges
/
zrho
Rankings
Badges
Overview
Ranks
Repositories
Languages
Lukas Heidemann
@zrho
Refresh
Open GitHub
🇩🇪 Bonn, Germany
Profile age: about 15 years
Updated 9 days ago
37 followers • 0 following
Contacts
lukasheidemann@gmail.com
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 1
Persona
Creator
#152,760
#1,710,304
#370,572
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
purescript-optic-ui
122
10
updated almost 9 years ago • age about 10 years
PureScript
92.6%
JavaScript
7.4%
Hydrogen
26
4
updated over 10 years ago • age over 13 years
C
72.4%
C++
15.4%
Assembly
10.3%
Shell
1.9%
afp
15
2
updated over 11 years ago • age almost 12 years
Haskell
80.7%
JavaScript
13.1%
TeX
5.9%
Shell
0.3%
Carbon
7
0
updated almost 14 years ago • age almost 14 years
C
92.2%
Assembly
7.8%
pylon
6
0
updated about 11 years ago • age over 11 years
Haskell
97.8%
JavaScript
2.2%
View all 8 repositories
Last Contributions
2025
hugr
2 PRs
+490
-74
Rust
44
14
215
tket2
1 PR
+49
-20
Rust
42
8
107
2024
hugr
~11 PRs
+2,083
-1,165
Rust
44
14
215
2020
homotopy-io
1 PR
+253
-234
PureScript
3
2
2016
purescript-profunctor-lenses
3 PRs
+611
-29
PureScript
145
52
43
View all contributions
Latest Updates
09 Sep 2025
Followers Count:
36
37
11 Aug 2025
Followers Count:
37
36
28 Jul 2025
Followers Count:
36
37
04 Jan 2025
First seen
Subscribe to zrho's GitHub rank updates in your messenger
WhatsApp
Telegram
