Kevin Kappelmann

@kappelmann

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

Repositories

eidi2_repetitorium_tum

Archived

updated over 6 years ago • age over 9 years

OCaml83.1%

TeX15.5%

Makefile0.8%

Java0.5%

engaging-large-scale-functional-programming

updated 6 months ago • age almost 4 years

Haskell76.4%

TeX12.5%

JavaScript6.5%

BibTeX Style2.5%

HTML2.2%

foss_course

updated almost 4 years ago • age over 4 years

Isabelle-Set

updated 2 months ago • age over 4 years

Isabelle91.8%

Standard ML7.8%

TeX0.3%

ml-typeclasses-isabelle

updated 10 months ago • age over 1 year

Standard ML96.1%

Isabelle3.9%

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
psv-transport
3 PRs +605-373
Isabelle
0
0
Isabelle-Set
3 PRs +811-916
Isabelle
0
0
2022
debirdify
1 PR +517-15
Python
167
12
scrape-mep-mails
1 PR +1-1
Python
3
0
2021
Artemis
3 PRs +29-11
Java
691
349
394