Rankings
Badges
/
zrho
Rankings
Badges
Overview
Ranks
Repositories
Languages
Lukas Heidemann
@zrho
Refresh
Open GitHub
🇩🇪 Bonn, Germany
Profile age: over 15 years
Updated 11 days ago
36 followers • 0 following
Contacts
lukasheidemann@gmail.com
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 1
Persona
Creator
#155,567
#1,724,128
#386,471
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
purescript-optic-ui
122
10
updated about 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 about 12 years
Haskell
80.7%
JavaScript
13.1%
TeX
5.9%
Shell
0.3%
Carbon
7
0
updated about 14 years ago • age about 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
+305
-64
Rust
50
13
254
tket2
1 PR
+49
-20
Rust
46
11
114
2024
hugr
~11 PRs
+2,083
-1,165
Rust
50
13
254
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
22 Oct 2025
Followers Count:
37
36
09 Sep 2025
Followers Count:
36
37
11 Aug 2025
Followers Count:
37
36
04 Jan 2025
First seen
Subscribe to zrho's GitHub rank updates in your messenger
WhatsApp
Telegram
