Rankings
Badges
/
JonasHoefer
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jonas Höfer
@JonasHoefer
Refresh
Open GitHub
🇸🇪 Gothenburg, Sweden
Profile age: almost 10 years
Updated about 4 hours ago
24 followers • 32 following
Profile Overview
Global
Sweden
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 5
Persona
Influencer
#532,894
#1,531,114
#547,595
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
poset-type-theory
12
2
updated about 1 year ago • age over 1 year
Haskell
97.9%
Emacs Lisp
2.1%
scoped-effects-agda
12
0
updated over 4 years ago • age about 5 years
TeX
64.8%
Agda
32.3%
Haskell
2.7%
Shell
0.2%
hackathon
4
0
updated about 6 years ago • age about 6 years
C++
48.0%
Python
35.8%
CMake
16.2%
agda-ci-test
0
0
updated over 5 years ago • age over 5 years
Last Contributions
2025
format-checker
2 PRs
+306
-225
HTML
0
1
2024
lab2-testsuite
1 PR
+7
-0
C++
0
0
2023
cubical
1 PR
+715
-659
Agda
508
156
8
2020
free-compiler
~22 PRs
+4,228
-454
Haskell
45
3
View all contributions
Latest Updates
20 Oct 2025
Followers Count:
26
24
10 Aug 2025
Followers Count:
24
26
17 Jan 2025
First seen
Subscribe to JonasHoefer's GitHub rank updates in your messenger
WhatsApp
Telegram
