Language Breakdown
Lines of code distribution across 13 owned repositories
831K
Total LOC
Python
262,448 lines
31.6%
N/A
Lean
150,374 lines
18.1%
N/A
Coq
129,664 lines
15.6%
N/A
JavaScript
102,179 lines
12.3%
N/A
HTML
70,000 lines
8.4%
N/A
Other
116,149 lines
14.0%
N/A
∞
Generalist Developer
G-shapedVersatile across many languages and paradigms
Python
Lean
Coq
JavaScript
HTML
Collaboration Network
Global Impact visualization
Repos
125
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
966
Contributions
116
Commits
9
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
42 total
Synced via GitHub
Top Repositories
miniF2F-lean4
73
29
Lean
lean4-example
16
36
Lean
CNN-Color2Gray
An implementation of Color2Gray with convolutional neural networks
11
3
Lua
ai-formal-mathematical-reasoning
5
0
JavaScript
ml4tp-tutorial
NeurIPS 2023 Tutorial on Machine Learning for Theorem Proving
5
1
Jupyter Notebook
smt-portfolio
A simple wrapper to run multiple SMT solvers in parallel
3
0
Python
KakeyaFiniteFields
2
0
Lean
lean-lsp
2
0
TypeScript
LeanDojoWebsite
Code for LeanDojo's website
2
0
JavaScript
LLaMA-Factory
A WebUI for Efficient Fine-Tuning of 100+ LLMs (ACL 2024)
2
0
Python
Open Source Impact
Contributions to external projects
190 merged PRs
lean-dojo/LeanDojo
806
mathai2024/mathai2024.github.io
1
trishullab/PutnamBench
239
loganrjmurphy/LeanEuclid
131
MoonshotAI/CombiBench
50
mathai2025/mathai2025.github.io
0
Goedel-LM/Goedel-Prover-V2
170
Contributed to 7 repositories