Rankings
Badges
/
lenianiva
Rankings
Badges
Overview
Ranks
Repositories
Languages
Leni Aniva
@lenianiva
Refresh
Open GitHub
🇺🇸 San Francisco Bay Area, Gensokyo
Stanford University Centaur Lab @stanford-centaur
Profile age: over 3 years
Updated 2 days ago
102 followers • 30 following
Contacts
https://leni.sh
@aniva.bsky.social
https://git.leni.sh
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in USA
Expert 4
Persona
Influencer
#39,447
#53,468
#18,550
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
lean4-nix
57
10
2
updated 14 days ago • age 12 months
Nix
100.0%
Prismriver
4
0
updated about 1 month ago • age 2 months
Lean
59.2%
Rust
40.8%
Last Contributions
2025
lean4
1 PR
+2
-2
Lean
6,491
672
91
cvc5
1 PR
+36
-17
SMT
1,187
266
29
lean-lsp-mcp
1 PR
+14
-0
Python
126
9
7
PyPantograph
~43 PRs
+19
-13
Python
113
23
2
leanprover-community.github.io
1 PR
+17
-0
CSS
64
158
View all contributions
Latest Updates
29 Sep 2025
Followers Count:
100
102
14 Sep 2025
Followers Count:
97
100
30 Aug 2025
Followers Count:
96
97
15 Aug 2025
Followers Count:
94
96
30 Jul 2025
Followers Count:
91
94
17 Jan 2025
First seen
Subscribe to lenianiva's GitHub rank updates in your messenger
WhatsApp
Telegram
