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 5 days ago
78 followers • 0 following
Contacts
jasonrute.github.io
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
holist-communication-example
9
3
updated almost 6 years ago • age almost 6 years
Python
54.8%
Jupyter Notebook
45.2%
communicating-with-lean
8
1
updated over 5 years ago • age over 5 years
Jupyter Notebook
100.0%
Neural-Network
7
0
updated over 8 years ago • age over 8 years
Python
100.0%
lean-proof-recording-public-old
6
1
updated over 4 years ago • age over 4 years
Python
53.6%
Jupyter Notebook
34.7%
Lean
11.1%
Shell
0.5%
lean_gym_prototype
3
0
updated about 5 years ago • age over 5 years
Lean
57.3%
Python
42.7%
Show more - 10 of 13 shown
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
