Rankings
Badges
/
josefs
Rankings
Badges
Overview
Ranks
Repositories
Languages
Josef Svenningsson
@josefs
Refresh
Open GitHub
🇬🇧 London
Profile age: almost 16 years
Updated 9 days ago
65 followers • 9 following
Repositories
Gradualizer
617
37
6
updated 6 months ago • age almost 8 years
Erlang
98.9%
Makefile
1.0%
Shell
0.1%
STMonadTrans
12
4
updated about 2 months ago • age over 11 years
Haskell
100.0%
DSL-tutorial
6
0
updated about 14 years ago • age about 14 years
Haskell
100.0%
pandoc
2
1
updated over 10 years ago • age almost 15 years
Haskell
98.7%
Lua
0.6%
Shell
0.4%
JavaScript
0.2%
Perl
0.1%
reify
1
0
updated over 12 years ago • age over 12 years
Haskell
100.0%
meta-paper
0
1
updated about 12 years ago • age over 12 years
MoA-ARRAYS
0
2
updated over 11 years ago • age over 11 years
TeX
100.0%
Contributions
2025
optparse-applicative
1 PR
+1
-2
Haskell
953
121
23
lispBM
3 PRs
+55
-37
C
114
12
2020
unordered-containers
1 PR
+102
-11
Haskell
224
103
11
2019
deepseq
1 PR
+12
-0
Haskell
43
32
8
2015
nixpkgs
1 PR
+2
-2
Nix
22,039
16,952
hl
1 PR
+1
-0
HTML
158
92
popl2016-papers
2 PRs
+2
-0
120
16
imperative-edsl
1 PR
+25
-2
Haskell
23
9
AFPcourse
1 PR
+3
-3
Haskell
13
5
2013
bnfc
1 PR
+1
-1
TeX
610
172
18
Show more