Rankings
Badges
/
timjs
Rankings
Badges
Overview
Ranks
Repositories
Languages
Tim Steenvoorden
@timjs
Refresh
Open GitHub
🇳🇱 Nijmegen, Netherlands
Open University of the Netherlands
Profile age: about 14 years
Updated 6 days ago
38 followers • 11 following
Contacts
tim.steenvoorden@gmail.com
Repositories
elm-collage
59
19
updated about 4 years ago • age almost 8 years
Elm
100.0%
idris-clean
15
1
updated over 8 years ago • age over 8 years
Idris
53.7%
Clean
25.1%
Haskell
21.2%
tophat-haskell
10
5
updated over 1 year ago • age over 6 years
Haskell
100.0%
atom-language-clean
2
1
updated over 8 years ago • age over 9 years
tophat
2
1
updated over 4 years ago • age about 6 years
TeX
91.4%
Haskell
5.1%
Clean
3.4%
Idris
0.1%
Werkstuk-Prototypes
1
1
updated over 13 years ago • age over 13 years
JavaScript
95.7%
Io
4.3%
symbolic-tophat
0
1
updated over 4 years ago • age about 6 years
TeX
100.0%
vim-clean
0
1
updated about 9 years ago • age about 10 years
Vim Script
100.0%
assistive-tophat
0
0
updated over 5 years ago • age over 5 years
TeX
100.0%
tophat-dynamic
0
0
updated 11 months ago • age almost 2 years
TeX
100.0%
Contributions
2024
plfa.github.io
1 PR
+1
-1
Agda
1,454
336
3
2018
atom-language-purescript
1 PR
+3
-3
CoffeeScript
35
12
elm-pretty-printer
1 PR
+126
-22
Elm
12
5
2017
imdone-core
2 PRs
+2
-0
JavaScript
146
28
105
language-markdown
1 PR
+2
-0
JavaScript
119
293
elm-nonempty-list
1 PR
+33
-7
Elm
47
10
2014
homebrew-cask-versions
1 PR
+10
-0
1,178
1,041
vim-swift
1 PR
+1
-1
Vim Script
369
20
