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
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%
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
CDs
2 PRs
+1,012
-3,383
XSLT
15
10
OMSTD
3 PRs
+719
-317
XSLT
9
5
2016
LaTeXML
1 PR
+1
-1
Perl
1,168
125
3
website
1 PR
+152
-61
HTML
3
2
2015
website
2 PRs
+87
-42
HTML
3
2
Show more
