Rankings
Badges
/
kappelmann
Rankings
Badges
Overview
Ranks
Repositories
Languages
Kevin Kappelmann
@kappelmann
Refresh
Open GitHub
🇩🇪 Germany (Munich)
TU Munich, University of Oxford
Profile age: over 11 years
Updated 10 days ago
28 followers • 10 following
Contacts
https://kappelmann.me
Organizations
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 1
Persona
Influencer
#515,765
#1,027,874
#508,869
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
eidi2_repetitorium_tum
Archived
16
9
updated over 6 years ago • age over 9 years
OCaml
83.1%
TeX
15.5%
Makefile
0.8%
Java
0.5%
engaging-large-scale-functional-programming
6
1
updated 6 months ago • age almost 4 years
Haskell
76.4%
TeX
12.5%
JavaScript
6.5%
BibTeX Style
2.5%
HTML
2.2%
foss_course
5
3
updated almost 4 years ago • age over 4 years
Isabelle-Set
3
5
updated 2 months ago • age over 4 years
Isabelle
91.8%
Standard ML
7.8%
TeX
0.3%
ml-typeclasses-isabelle
0
2
updated 10 months ago • age over 1 year
Standard ML
96.1%
Isabelle
3.9%
Last Contributions
2025
polyml
1 PR
+0
-2
Standard ML
512
52
9
poly-reductions
2 PRs
+5,405
-1,503
Isabelle
7
7
2024
poly-reductions
2 PRs
+869
-86
Isabelle
7
7
scrape-mep-mails
1 PR
+1
-1
Python
3
0
2023
poly-reductions
1 PR
+2,481
-18
Isabelle
7
7
View all contributions
Latest Updates
29 Aug 2025
Followers Count:
26
28
06 Jan 2025
First seen
Subscribe to kappelmann's GitHub rank updates in your messenger
WhatsApp
Telegram
