Language Breakdown
Lines of code distribution across 18 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in HTML
Collaboration Network
Global Impact visualization
Repos
33
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Snow
@XSnow
std::_Rb_tree
@RIvance
petros-marko
@petros-marko
gbarthe
@gbarthe
Robert Harper
@RobertHarper
Top Repositories
This is the repository for code related to Programming Languages Research.
Implementation of EnvML: A Programming Language with First-Class Environments.
This repository is for the research done on Device-Independent Quantum Key Distribution.
This is the repository for reading group of Type Theory and Formal Proof book.
This is the prototype of our ENGG1320 - Project: DecentX Media
Tiny repository demonstrating `Fluxˡᵉᵃⁿ`
Quantum Hilbert space operator formalization in Lean 4 / Mathlib
Traq mechanization in Lean4
This is the repository for the Foundations of Programming Languages, Verification, and Security 2025 course taught at RUHR University Bochum.
Open Source Impact
Contributions to external projects