22
Followers
1
Following
36
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 9 owned repositories
14.4M
Total LOC
Lean
14,026,854 lines
97.4%
N/A
Java
173,048 lines
1.2%
N/A
C++
120,601 lines
0.8%
N/A
Python
66,449 lines
0.5%
N/A
TeX
19,157 lines
0.1%
N/A
Other
767 lines
0.0%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Lean
Lean
Java
C++
Python
TeX
Collaboration Network
Global Impact visualization
Repos
37
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
265
Contributions
187
Commits
26
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Top Repositories
busy-beaver-cpp
3
0
C++
proofs
random proofs in lean 4
2
1
Lean
cheese
2
0
C++
BBFractran
Busy beaver for Fractran
1
1
C++
LaTeX-repo-for-students
1
0
TeX
mathlib4
The math library of Lean 4
0
0
Lean
bbchallenge-paper
bbchallenge's research outputs
0
0
TeX
busy-beaver
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
0
0
Python
docs
Documentation for setting up and using the DMOJ judge.
0
0
C++
cosearch
Massively Collaborative Research
0
0
Svelte
Open Source Impact
Contributions to external projects
410 merged PRs
DMOJ/online-judge
1171
DMOJ/judge-server
971
leanprover/lean4
8247
sligocki/busy-beaver
51
DMOJ/runtimes-docker
8
leanprover-community/mathlib4
3449
bbchallenge/bbchallenge
20
bbchallenge/bbchallenge-paper
15
Contributed to 8 repositories