Rankings
Badges
/
tannerduve
Rankings
Badges
Overview
Ranks
Repositories
Languages
Tanner Duve
@tannerduve
Refresh
Open GitHub
🇺🇸 San Francisco
Nexus
Profile age: almost 3 years
Updated 11 days ago
12 followers • 5 following
Repositories
computability
8
1
updated 3 months ago • age about 1 year
Lean
100.0%
coins
0
1
updated 12 months ago • age 12 months
Lean
91.9%
Shell
5.0%
C
3.1%
Contributions
2025
par-lang
1 PR
+21
-1
Rust
483
24
cslib
2 PRs
+1,635
-0
Lean
139
24
zk-lean
1 PR
+589
-231
Lean
15
3
2024
chicken-pi
2 PRs
+463
-172
Haskell
3
1
