Jonathan Reich
@JohnnyTeutonic
Melbourne, Australia
7
Followers
2
Following
34
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 29 owned repositories
27.7M
Total LOC
Jupyter Notebook
9,169,103 lines
33.2%
N/A
C++
6,815,399 lines
24.6%
N/A
Makefile
2,668,755 lines
9.7%
N/A
Lean
2,553,458 lines
9.2%
N/A
HTML
1,963,471 lines
7.1%
N/A
Other
4,485,035 lines
16.2%
N/A
∞
Generalist Developer
G-shapedVersatile across many languages and paradigms
Jupyter Notebook
C++
Makefile
Lean
HTML
Collaboration Network
Global Impact visualization
Repos
34
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
93
Contributions
65
Commits
21
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
tinyllama.cpp
Github Pages Docs
2
0
C++
chunking_cpp
Chunking for parallel-processing purposes
2
0
C++
genetic-code-dual-optimality
0
0
Python
measurement-net-lean
0
0
Lean
gr_from_impossibility
0
0
Lean
scqm
0
0
Lean
vddm-platform
LLM-as-Judge academic defense platform with adversarial critique engine, multi-model consensus, and agentic validation pipeline
0
0
JavaScript
mathlib4
The math library of Lean 4
0
0
Lean
lean_proofs_sm
0
0
Lean
pure-doom
0
0
C++
Open Source Impact
Contributions to external projects
99 merged PRs
Contributed to 1 repositories