Language Breakdown
Lines of code distribution across 4 owned repositories
T-Shaped Developer
T-shapedDeep in JavaScript with broad versatility
Collaboration Network
Global Impact visualization
Repos
20
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Liam Cain
@liamcain
TheQ-Lab
@TheQ-Lab
Bashar Hamade
@BasharHamade12
Vinh Nguyen
@ninjaprox
Roman
@romanwtk
Top Repositories
A blueprint for a formalization of Algebraic Complexity in Lean.
Userscripts written by me.
Telegram Bot for the meal plan in the canteen of Saarland University
https://openmandriva.org/
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
Execute Markdown code blocks for literate programming and image generation
Markdown Rendering and Execution Pipeline
💖 simple emoji support for node.js projects
A Typst template for generating invoices
A little beautifier tool for xcodebuild
Open Source Impact
Contributions to external projects
