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
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Beginner 5
Persona
Contributor
#1,031,903
#1,493,810
#1,115,316
Explore Ranks
Top 3 Languages By Stars
All Languages
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%
Last 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
View all contributions
Latest Updates
28 Sep 2025
Followers Count:
9
12
13 Sep 2025
Followers Count:
7
9
01 Aug 2025
Followers Count:
6
7
13 Jun 2025
Avatar:
changed
Company:
Nexus
Location:
San Francisco
17 Feb 2025
Name:
Tanner Duve
17 Jan 2025
First seen
Subscribe to tannerduve's GitHub rank updates in your messenger
WhatsApp
Telegram
