Language Breakdown
Lines of code distribution across 6 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Jupyter Notebook
Collaboration Network
Global Impact visualization
Repos
38
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Claude
@claude
Maksim Melnichenko
@mmelnich
Kaiwen He
@kaiwenhe7
Burlen Loring
@burlen
Riley Murray
@rileyjmurray
Top Repositories
Custom Neovim Configuration for Web Development & Software Development.
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster through natural language commands. Rebuilt from leaked source.
Development repository for the Triton language and compiler
Open-source keyboard firmware for Atmel AVR and Arm USB families
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
A formalization of geometry in Coq based on Tarski's axiom system
Open Source Impact
Contributions to external projects
