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 6 days ago
100 followers • 68 following
Contacts
https://patrikja.owlstown.net/
@patrikja@functional.cafe
Organizations
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%
LiVe4CS
1
0
updated almost 8 years ago • age almost 8 years
SyntheticPopulations
1
1
updated about 9 years ago • age over 9 years
Python
66.4%
Haskell
16.2%
TeX
16.0%
Makefile
1.4%
javabeginner
1
1
updated almost 11 years ago • age almost 11 years
skeleton
0
1
updated over 8 years ago • age over 10 years
TeX
100.0%
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
VisPar
1 PR
+92
-6
Haskell
13
1
2016
learnxinyminutes-docs
1 PR
+14
-15
Markdown
12,041
3,516
Functional-Programming
1 PR
+123
-124
Haskell
2,700
158
icfp2016-papers
2 PRs
+5
-3
140
23
raw-feldspar
1 PR
+1
-1
Haskell
38
5
Show more
