Rankings
Badges
/
proglang
Rankings
Badges
Overview
Ranks
Repositories
Languages
Peter Thiemann
@proglang
Refresh
Open GitHub
🇩🇪 Freiburg, Germany
Profile age: over 10 years
Updated 12 days ago
34 followers • 1 following
Contacts
proglang@informatik.uni-freiburg.de
Repositories
FunctionalProgramming
17
9
updated 4 months ago • age about 8 years
Haskell
53.3%
TeX
46.7%
ldgv
16
5
updated over 1 year ago • age about 6 years
Haskell
76.7%
C
18.1%
Yacc
3.0%
Logos
2.2%
Informatik-III-Theoretische-Informatik
4
3
updated over 5 years ago • age over 9 years
TeX
100.0%
javatx
2
0
updated about 3 years ago • age over 4 years
TeX
100.0%
SystemF
2
0
updated about 1 year ago • age over 2 years
TeX
62.5%
Agda
37.3%
Makefile
0.2%
tezos-public
1
0
updated over 4 years ago • age over 4 years
tezos-project
1
2
updated about 1 year ago • age over 5 years
OCaml
62.6%
TeX
36.8%
SMT
0.5%
Solidity
0.1%
Makefile
0.0%
incorrectness
1
0
updated over 2 years ago • age over 5 years
Agda
93.4%
TeX
6.6%
dts-generate-results
1
1
updated over 4 years ago • age about 6 years
JavaScript
100.0%
thesis-template
1
4
1
updated over 2 years ago • age over 7 years
TeX
97.9%
Makefile
2.1%
Show more - 10 of 29 shown
Contributions
2025
plfa.github.io
1 PR
+5
-0
Agda
1,468
342
3
2022
Essentials-of-Compilation
2 PRs
+82
-75
TeX
1,513
160
3
Essentials-of-Compilation
1 PR
+482
-126
TeX
3
0
14
python-student-support-code
1 PR
+2,444
-149
Python
1
0
2021
Essentials-of-Compilation
~8 PRs
+82
-86
TeX
1,513
160
3
Essentials-of-Compilation
1 PR
+1,126
-533
TeX
3
0
14
2019
PythOnline
1 PR
+3
-6
JavaScript
0
1
