Rankings
Badges
/
andreasabel
Rankings
Badges
Overview
Ranks
Repositories
Languages
Andreas Abel
@andreasabel
Refresh
Open GitHub
🇸🇪 Gothenburg, Sweden
Chalmers and Gothenburg University
Profile age: almost 14 years
Updated about 22 hours ago
288 followers • 3 following
Contacts
andreas.abel@ifi.lmu.de
http://www.tcs.ifi.lmu.de/~abel
Organizations
Profile Overview
Global
Sweden
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 4
Persona
Influencer
#99,828
#346,553
#33,937
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
miniagda
111
4
4
updated 2 months ago • age almost 9 years
Haskell
66.6%
Mathematica
26.1%
TeX
4.5%
Yacc
1.9%
Makefile
0.9%
strong-normalization
35
3
updated about 6 years ago • age over 8 years
TeX
77.4%
Coq
10.9%
Agda
5.0%
F*
4.7%
JavaScript
2.1%
helf
31
3
updated 5 months ago • age almost 9 years
Haskell
58.3%
TeX
37.9%
Makefile
2.3%
Lex
0.8%
Yacc
0.7%
ipl
22
2
updated 4 months ago • age over 7 years
TeX
81.4%
Agda
14.9%
BibTeX Style
2.1%
Makefile
1.6%
java-adt
16
0
updated 2 months ago • age almost 9 years
Haskell
79.5%
Yacc
8.6%
Lex
8.3%
Makefile
3.6%
View all 47 repositories
Last Contributions
2025
agda
2 PRs
+166
-93
Haskell
2,711
382
14
cabal
2 PRs
+26
-454
Haskell
1,690
723
15
hasktorch
1 PR
+19
-19
Haskell
1,152
117
conduit
1 PR
+92
-31
Haskell
922
200
quickcheck
1 PR
+20
-10
Haskell
764
125
View all contributions
Latest Updates
01 Oct 2025
Followers Count:
286
288
17 Sep 2025
Followers Count:
287
286
03 Sep 2025
Followers Count:
286
287
20 Aug 2025
Followers Count:
284
286
06 Aug 2025
Followers Count:
282
284
06 Jan 2025
First seen
Subscribe to andreasabel's GitHub rank updates in your messenger
WhatsApp
Telegram
