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
Profile Overview
Global
Japan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Japan
Master 2
Persona
Influencer
#4,035
#2,197
#1,167
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
peppermint-prover
49
3
updated over 3 years ago • age about 7 years
Haskell
100.0%
haskell-benign
20
0
1
updated 5 months ago • age almost 3 years
Haskell
71.3%
Nix
28.7%
finset
8
1
updated over 10 years ago • age almost 11 years
Coq
100.0%
assert-plugin
7
0
updated over 6 years ago • age over 6 years
Haskell
100.0%
fulltrees
6
0
1
updated about 9 years ago • age almost 12 years
TeX
40.4%
OCaml
35.3%
Coq
24.3%
View all 10 repositories
Last Contributions
2025
linear-base
2 PRs
+28
-8
Haskell
350
40
6
nix-doom-emacs-unstraightened
1 PR
+21
-0
Nix
128
10
linear-generics
2 PRs
+42
-25
Haskell
8
6
4
2024
linear-base
2 PRs
+50
-31
Haskell
350
40
6
linear-generics
2 PRs
+2
-2
Haskell
8
6
4
View all contributions
Latest Updates
27 Oct 2025
Followers Count:
168
169
28 Sep 2025
Followers Count:
169
168
31 Aug 2025
Followers Count:
170
169
17 Aug 2025
Followers Count:
169
170
20 Jul 2025
Location:
Paris
Tokyo
Followers Count:
168
169
Social Accounts:
twitter: @aspiwack; twitch: notnotarnaud
bluesky: @aspiwack.bsky.social; twitch: notnotarnaud; twitter: @aspiwack
05 Jan 2025
First seen
Subscribe to aspiwack's GitHub rank updates in your messenger
WhatsApp
Telegram
