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
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%
randomizer-engine
6
0
updated over 2 years ago • age over 6 years
OCaml
96.9%
Nix
3.1%
ocaml-hollow-heap
5
1
1
updated almost 9 years ago • age about 9 years
OCaml
100.0%
haskell-ann
4
1
1
updated over 3 years ago • age over 3 years
Haskell
54.4%
Nix
45.6%
ghc-dev-tools
0
1
updated 8 months ago • age over 6 years
Shell
100.0%
nixops
0
0
updated about 10 years ago • age about 10 years
Python
76.8%
Nix
23.1%
Shell
0.1%
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
nickel-mode
1 PR
+2
-0
Emacs Lisp
7
3
destination-calculus
1 PR
+462
-82
Coq
0
1
2023
topiary
1 PR
+28
-4
Rust
738
46
11
ghc-proposals
1 PR
+357
-16
Python
703
274
stackage
1 PR
+1
-6
Dockerfile
546
820
Show more
