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 3 days ago
102 followers • 30 following
Contacts
https://leni.sh
@aniva.bsky.social
https://git.leni.sh
Organizations
Repositories
lean4-nix
57
10
2
updated 15 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%
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
LSpec
1 PR
+86
-45
Lean
59
11
1
stanford-centaur.github.io
2 PRs
+23
-0
TeX
1
3
2024
eww
1 PR
+39
-6
Rust
11,496
487
6
lean4
3 PRs
+8
-5
Lean
6,491
672
91
cadquery
1 PR
+36
-1
Python
4,026
367
14
Show more
