Language Breakdown
Lines of code distribution across 111 owned repositories
66.7M
Total LOC
Python
40,021,181 lines
60.0%
N/A
Jupyter Notebook
8,827,290 lines
13.2%
N/A
HTML
6,748,783 lines
10.1%
N/A
OCaml
3,130,156 lines
4.7%
N/A
Coq
2,949,591 lines
4.4%
N/A
Other
4,980,698 lines
7.5%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Python
Python
Jupyter Notebook
HTML
OCaml
Coq
Collaboration Network
Global Impact visualization
Repos
440
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
46 days
11,450
Contributions
11,193
Commits
118
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
40 total
Elyas Obbad
@eobbad
amspector100
@amspector100
gauss-math-inc
@gauss-math-inc
Claude
@claude
Cursor Agent
@cursoragent
Synced via GitHub
Top Repositories
ultimate-utils
Brando's utils
17
11
Python
ultimate-anatome
Ἀνατομή is a PyTorch library to analyze representation of neural networks
13
1
Python
snap-cluster-setup
5
24
Python
ultimate-pycoq
a realiable python-coq
5
1
Python
beyond-scale-language-data-diversity
4
7
Python
pycoq
python API to coq-serapi
4
2
Rocq Prover
Normalized-Euclidean-Distance-and-Similarity-NED-NES-
4
0
Python
agents-config
My coding agent's config workflow setup
3
0
Shell
learning_lean
3
1
Lean
brandomiranda
3
0
TeX
Open Source Impact
Contributions to external projects
114 merged PRs
alycialee/beyond-scale-language-data-diversity
13
leanprover/cslib
586
RylanSchaeffer/KoyejoLab-Test-Set-Contam-Generative-Evals
0
harbor-framework/harbor
2441
harbor-framework/harbor-datasets
33
StanfordLeanClub/stanford-lean-website
0
StanfordLeanClub/veri-veri-bench
0
StanfordLeanClub/lean-ebm
4
ehersch/veribench-blog
0
StanfordLeanClub/mathlib-style-bench
0
Contributed to 10 repositories