Rankings
Badges
/
aspiwack
Rankings
Badges
Overview
Ranks
Repositories
Languages
Arnaud Spiwack
@aspiwack
Refresh
Open GitHub
🇯🇵 Tokyo
Tweag
Profile age: over 13 years
Updated 4 days ago
169 followers • 0 following
Contacts
arnaud@spiwack.net
http://assert-false.science/arnaud
@aspiwack.bsky.social
notnotarnaud
@aspiwack
Organizations
Language Ranks Breakdown
Global
Japan
Haskell
Expert 4
40 stars
to reach Expert 5
Position: 28
/
312
Language Score: 74
Top 9% of all ranked profiles
OCaml
Advanced 3
6 stars
to reach Advanced 4
Position: 36
/
153
Language Score: 14
Top 30% of all ranked profiles
Coq
N/A
Tiers are available for rankings with over 100 profiles.
Language Score: 10
Position: 8
/
42
Nix
Advanced 4
1 star
to reach Advanced 5
Position: 33
/
196
Language Score: 9
Top 20% of all ranked profiles
This month change:
↓1
TeX
Adept 4
3 stars
to reach Adept 5
Position: 219
/
644
Language Score: 3
Top 40% of all ranked profiles
This month change:
↓3
