Rankings
Badges
/
kohlhase
Rankings
Badges
Overview
Ranks
Repositories
Languages
Michael Kohlhase
@kohlhase
Refresh
Open GitHub
🇩🇪 Erlangen, Germany
Computer Science, FAU Erlangen Nürnberg
Profile age: over 12 years
Updated 6 days ago
94 followers • 0 following
Contacts
michael.kohlhase@fau.de
http://kwarc.info/kohlhase
Organizations
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Germany
Expert 4
Persona
Influencer
#29,592
#39,898
#4,210
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
CambridgeLCF
8
1
updated over 7 years ago • age over 7 years
Common Lisp
58.6%
Standard ML
21.1%
PicoLisp
16.3%
OCaml
2.2%
Roff
1.8%
kohlhase.github.io
0
0
updated over 7 years ago • age over 7 years
Ruby
100.0%
Last Contributions
2020
LaTeX-proposal
1 PR
+324
-986
TeX
69
34
2019
LaTeXML-Plugin-sTeX
1 PR
+324
-2
Perl
2
4
2018
OMSTD
1 PR
+622
-457
XSLT
9
5
2017
LaTeXML
1 PR
+4
-4
Perl
1,168
125
3
MMT
1 PR
+146
-0
Scala
77
24
30
View all contributions
Latest Updates
17 Sep 2025
Followers Count:
92
94
19 Aug 2025
Followers Count:
93
92
05 Aug 2025
Followers Count:
92
93
06 Jan 2025
First seen
Subscribe to kohlhase's GitHub rank updates in your messenger
WhatsApp
Telegram
