Language Breakdown
Lines of code distribution across 7 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in C
Collaboration Network
Global Impact visualization
Repos
28
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Benjamim Gois
@benjamimgois
Patrick Csikos
@zelikos
Zoria
@THZoria
Supreeeme
@Supreeeme
V4bel
@V4bel
Top Repositories
My solutions to the exercises in "Theorem Proving in Lean 4"
My custom CSS file for a Chzzk chat window
A collection of my short Lean code for reference
My solutions to the exercises in K. N. King's C programming book
A Lean program that tests whether a natural number is prime
My Solutions to K. N. King's "C Programming: A Modern Approach", second edition
Korean translation of the Lean web game server
Korean translation of the Natural Number Game
Demo project for SciLean
The Lean version manager
Open Source Impact
Contributions to external projects