Rankings
Badges
/
Vilin97
Rankings
Badges
Overview
Ranks
Repositories
Languages
Vasily Ilin
@Vilin97
Refresh
Open GitHub
🇺🇸 Seattle
University of Washington
Profile age: over 9 years
Updated 15 days ago
17 followers • 21 following
Contacts
vasilin97@gmail.com
https://vilin97.github.io/
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 4
Persona
Contributor
#885,082
#230,328
#826,567
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
linear-algebra-done-right
11
0
updated over 3 years ago • age over 3 years
Lean
100.0%
GradientFlows.jl
0
0
updated over 1 year ago • age about 2 years
Julia
100.0%
Bank
0
1
updated almost 4 years ago • age over 5 years
Java
100.0%
fine-face-fixer
0
0
updated 5 months ago • age 5 months
Python
100.0%
Last Contributions
2024
flax
1 PR
+2
-2
Jupyter Notebook
6,863
747
55
JumpProcesses.jl
1 PR
+4
-0
Julia
148
38
150
leanprover-community.github.io
1 PR
+8
-0
CSS
64
159
random_graphs
1 PR
+21
-10
Lean
0
0
2023
julia
1 PR
+4
-0
Julia
47,810
5,653
185
View all contributions
Latest Updates
11 Aug 2025
Followers Count:
16
17
17 Feb 2025
Avatar:
changed
17 Jan 2025
First seen
Subscribe to Vilin97's GitHub rank updates in your messenger
WhatsApp
Telegram
