Rankings
Badges
/
peterthiemann
Rankings
Badges
Overview
Ranks
Repositories
Languages
Peter Thiemann
@peterthiemann
Refresh
Open GitHub
🇩🇪 Freiburg Germany
University of Freiburg
Profile age: over 13 years
Updated 9 days ago
31 followers • 3 following
Contacts
http://www.informatik.uni-freiburg.de/~thiemann/
Repositories
definitional-session
12
0
updated almost 6 years ago • age almost 8 years
Agda
100.0%
uniqueness
3
2
updated almost 3 years ago • age over 8 years
TeX
83.1%
Agda
6.2%
Coq
4.1%
OCaml
3.9%
Racket
2.6%
re-generate
3
3
updated over 2 years ago • age over 7 years
Haskell
100.0%
dual-session
3
1
updated over 5 years ago • age almost 6 years
Agda
100.0%
wsession
1
1
updated about 2 years ago • age over 2 years
TeX
85.4%
Agda
13.9%
Makefile
0.3%
Dockerfile
0.2%
Nix
0.2%
monopoly
1
3
updated over 12 years ago • age over 12 years
Java
100.0%
FeatherWeight
1
1
updated about 1 year ago • age about 3 years
Agda
100.0%
LJGS
1
2
updated almost 12 years ago • age over 12 years
Coq
100.0%
conf-schedule
0
0
updated almost 13 years ago • age about 13 years
Haskell
100.0%
haskell-playground
0
0
updated 2 months ago • age almost 3 years
HTML
81.9%
Haskell
18.1%
Show more - 10 of 11 shown
Contributions
2025
Network-protocols-with-session-types
2 PRs
+45
-12
TypeScript
0
1
2024
plfa.github.io
1 PR
+2
-0
Agda
1,462
340
3
agdatex
3 PRs
+51
-8
TeX
0
1
2021
Essentials-of-Compilation
2 PRs
+35
-13
TeX
1,511
159
3
compiler-tests
1 PR
+8
-2
Python
1
0
2020
plfa.github.io
1 PR
+9
-0
Agda
1,462
340
3
icfp2020-captions
1 PR
+100
-100
4
15
