Rankings
Badges
/
wadoon
Rankings
Badges
Overview
Ranks
Repositories
Languages
Alexander Weigl
@wadoon
Refresh
Open GitHub
🇩🇪 Germany
Karlsruhe Institute of Technology
Profile age: over 16 years
Updated 5 days ago
34 followers • 29 following
Contacts
http://formal.iti.kit.edu/~weigl/
Organizations
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 3
Persona
Influencer
#577,108
#1,579,040
#406,690
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
cl-latex
11
1
updated over 12 years ago • age over 14 years
Common Lisp
100.0%
st-mode
8
10
updated over 7 years ago • age almost 11 years
Emacs Lisp
100.0%
JJBMC
2
0
updated over 1 year ago • age over 3 years
Java
100.0%
cagen
1
2
2
updated 14 days ago • age about 3 years
Kotlin
76.2%
C
20.1%
ANTLR
1.8%
Makefile
1.6%
Shell
0.3%
key-citool
1
1
3
updated 9 months ago • age almost 3 years
Kotlin
100.0%
View all 14 repositories
Last Contributions
2025
key
2 PRs
+187
-84
Java
65
37
24
verifaps-lib
1 PR
+40,108
-29,300
Kotlin
19
6
1
2024
key
~25 PRs
+581
-588
Java
65
37
24
verifaps-lib
1 PR
+1,803,773
-105
Kotlin
19
6
1
keyclipse
1 PR
+2
-1
Java
2
1
View all contributions
Latest Updates
02 Sep 2025
Followers Count:
33
34
18 Aug 2025
Followers Count:
34
33
04 Jan 2025
First seen
Subscribe to wadoon's GitHub rank updates in your messenger
WhatsApp
Telegram
