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
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Germany
Advanced 1
Persona
Influencer
#13,588
#34,047
#13,059
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 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%
View all 29 repositories
Last 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
View all contributions
Latest Updates
24 Oct 2025
Followers Count:
33
34
13 Aug 2025
Followers Count:
32
33
16 Jul 2025
Name:
Programming Languages Uni Freiburg
Peter Thiemann
Email:
proglang@informatik.uni-freiburg.de
14 Jan 2025
First seen
Subscribe to proglang's GitHub rank updates in your messenger
WhatsApp
Telegram
