Language Breakdown
Lines of code distribution across 2 owned repositories
T-Shaped Developer
T-shapedDeep in HTML with broad versatility
Collaboration Network
Global Impact visualization
Repos
26
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Re'em
@ReemMelamed
the-official-nb
@the-official-nb
Robin Langer
@RaggedR
Robert Hawkins
@hawkrobe
JadAbouHawili
@JadAbouHawili
Top Repositories
Computerisation of graph generation algorithms in Python and NetworkX, primarily sourced from reputable arxiv articles.
Digitisation of algebraic wheel theory in Lean 4
Course notes for Formalising Mathematics 2026
Port https://github.com/madvorak/grammars/ to Lean 4
Comparator-based Lean formal mathematics eval
turyn-type sequences
Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
The Lean reference manual
Open Source Impact
Contributions to external projects
