Rankings
Badges
/
patrikja
Rankings
Badges
Overview
Ranks
Repositories
Languages
Patrik Jansson
@patrikja
Refresh
Open GitHub
🇸🇪 Göteborg, Sweden
Chalmers University of Technology
Profile age: over 14 years
Updated 5 days ago
100 followers • 68 following
Contacts
https://patrikja.owlstown.net/
@patrikja@functional.cafe
Organizations
Profile Overview
Global
Sweden
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 1
Persona
Influencer
#235,657
#501,265
#120,056
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
autosar
72
55
updated over 4 years ago • age over 12 years
Haskell
57.9%
TeX
37.2%
Prolog
2.6%
C
2.0%
Makefile
0.2%
AFPcourse
16
12
updated almost 10 years ago • age almost 11 years
Haskell
79.6%
TeX
9.2%
Agda
6.5%
HTML
4.1%
Makefile
0.6%
PolyP
5
0
updated over 8 years ago • age over 10 years
Haskell
78.2%
Makefile
7.2%
TeX
6.7%
HTML
6.1%
Shell
1.9%
ClassLaws
2
1
updated about 6 years ago • age over 10 years
Haskell
100.0%
progolymp
2
0
updated over 8 years ago • age almost 10 years
Haskell
100.0%
View all 9 repositories
Last Contributions
2024
agda-llvm
1 PR
+99
-90
Haskell
2
1
valiant
1 PR
+89
-47
Haskell
0
1
2022
ComplexityOfBooleanFunctions
2 PRs
+128
-422
Mathematica
1
1
2019
sfeeca
1 PR
+56
-39
TeX
1
1
2017
icfp2017-papers
1 PR
+19
-0
136
21
View all contributions
Latest Updates
04 Aug 2025
Followers Count:
102
100
05 Jan 2025
First seen
Subscribe to patrikja's GitHub rank updates in your messenger
WhatsApp
Telegram
