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 6 days ago
31 followers • 3 following
Contacts
http://www.informatik.uni-freiburg.de/~thiemann/
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 2
Persona
Influencer
#567,110
#1,040,305
#451,088
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 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%
View all 11 repositories
Last Contributions
2025
Network-protocols-with-session-types
2 PRs
+45
-12
TypeScript
0
1
2024
plfa.github.io
1 PR
+2
-0
Agda
1,459
337
3
agdatex
3 PRs
+51
-8
TeX
0
1
2021
Essentials-of-Compilation
2 PRs
+35
-13
TeX
1,503
159
3
compiler-tests
1 PR
+8
-2
Python
1
0
View all contributions
Latest Updates
25 Sep 2025
Followers Count:
30
31
06 Jan 2025
First seen
Subscribe to peterthiemann's GitHub rank updates in your messenger
WhatsApp
Telegram
