Rankings
Badges
/
jasonrute
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jason Rute
@jasonrute
Refresh
Open GitHub
🇺🇸 Greater Boston, MA
@mistral.ai
Profile age: about 10 years
Updated 4 days ago
78 followers • 0 following
Contacts
jasonrute.github.io
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 4
Persona
Influencer
#125,981
#647,870
#160,602
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
puzzle_cube
104
23
updated over 6 years ago • age over 7 years
Python
100.0%
modulize
32
14
updated almost 3 years ago • age over 8 years
Python
100.0%
lean_proof_recording
27
8
updated about 4 years ago • age about 5 years
Python
44.6%
Jupyter Notebook
43.9%
Lean
10.9%
Shell
0.7%
thoughts-on-ai-for-theorem-proving
27
2
updated almost 4 years ago • age almost 4 years
csb_neural_network
13
0
updated over 7 years ago • age over 7 years
View all 13 repositories
Last Contributions
2023
graph2tac
~44 PRs
+6
-4
Jupyter Notebook
14
7
2
2022
graph2tac
~14 PRs
+3,129
-876
Jupyter Notebook
14
7
2
2020
lean-client-python
~6 PRs
+980
-106
Python
46
7
2019
milewski-ctfp-pdf
1 PR
+1
-1
TeX
11,380
618
51
2018
evilplot
1 PR
+9
-4
Scala
245
24
10
View all contributions
Latest Updates
20 Oct 2025
Followers Count:
79
78
05 Oct 2025
Followers Count:
77
79
07 Sep 2025
Followers Count:
78
77
23 Aug 2025
Followers Count:
77
78
09 Aug 2025
Followers Count:
76
77
06 Jan 2025
First seen
Subscribe to jasonrute's GitHub rank updates in your messenger
WhatsApp
Telegram
