Known universe, Solar System, Third planet
11
Followers
124
Following
150
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 66 owned repositories
86.4M
Total LOC
Lean
62,464,697 lines
72.3%
N/A
C
8,665,887 lines
10.0%
N/A
Wolfram Language
6,926,886 lines
8.0%
N/A
JavaScript
4,266,998 lines
4.9%
N/A
Python
1,647,776 lines
1.9%
N/A
Other
2,391,164 lines
2.8%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Lean
Lean
C
Wolfram Language
JavaScript
Python
Collaboration Network
Global Impact visualization
Repos
150
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
2,580
Contributions
1,334
Commits
215
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
124 total
Mario Carneiro
@digama0
Joseph Tooby-Smith
@jstoobysmith
simulai
@simulai
phasetr
@phasetr
Mohamad Al-Zawahreh
@merchantmoh-debug
Synced via GitHub
Top Repositories
sicp_es
Structure and Interpretation of Computer Programs
13
3
Scheme
efivm
2
0
C
physlib
Fork of leanprover-community/physlib - Entropic Time support
1
0
Lean
entropic-time
Unified multi-physics simulation framework where entropy production defines time arrow
1
0
Python
comparator
0
0
Lean
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
0
0
HTML
ThermodynamicsLean
0
0
Lean
lattice-system
0
0
Lean
LeanOA
Operator algebras in Lean
0
0
Lean
Lean-QuantumInfo
Quantum information theory in Lean 4
0
0
Lean
Open Source Impact
Contributions to external projects
202 merged PRs
No external contributions found.