Tim Steenvoorden

@timjs

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

Profile Overview

Global Netherlands

Global Rank

Advanced 4

Persona

Influencer

#253,827

#996,291

#361,978

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

elm-collage

updated about 4 years ago • age almost 8 years

Elm100.0%

idris-clean

updated over 8 years ago • age over 8 years

Idris53.7%

Clean25.1%

Haskell21.2%

tophat-haskell

updated over 1 year ago • age over 6 years

Haskell100.0%

atom-language-clean

updated over 8 years ago • age over 9 years

tophat

updated over 4 years ago • age about 6 years

TeX91.4%

Haskell5.1%

Clean3.4%

Idris0.1%

View all 10 repositories

Last 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

View all contributions

Subscribe to timjs's GitHub rank updates in your messenger

WhatsApp Telegram