Rankings
Badges
/
jeltsch
Rankings
Badges
Overview
Ranks
Repositories
Languages
Wolfgang Jeltsch
@jeltsch
Refresh
Open GitHub
🇪🇪 Tallinn, Estonia
@well-typed
Profile age: almost 12 years
Updated 8 days ago
44 followers • 0 following
Contacts
https://wolfgang.jeltsch.info/
Profile Overview
Global
Estonia
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 5
Persona
Influencer
#674,752
#1,866,639
#308,566
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
pomelo
10
1
updated over 6 years ago • age over 6 years
incremental-computing
8
0
updated almost 7 years ago • age almost 7 years
Haskell
100.0%
Last Contributions
2025
lsm-tree
2 PRs
+121
-1
Haskell
49
9
2024
lsm-tree
1 PR
+97
-33
Haskell
49
9
network-equivalences
2 PRs
+292
-13
Isabelle
2
1
thorn-calculus
2 PRs
+337
-13
Isabelle
2
2
ouroboros-high-assurance
2 PRs
+365
-13
Isabelle
1
1
View all contributions
Latest Updates
25 Sep 2025
Followers Count:
40
44
25 Aug 2025
Followers Count:
39
40
11 Aug 2025
Followers Count:
40
39
26 Jul 2025
Followers Count:
38
40
11 Jul 2025
Followers Count:
37
38
06 Jan 2025
First seen
Subscribe to jeltsch's GitHub rank updates in your messenger
WhatsApp
Telegram
