Language Breakdown
Lines of code distribution across 7 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Svelte
Collaboration Network
Global Impact visualization
Repos
13
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Top Repositories
Indexed collection of papers from POPL, PLDI, OOPSLA, ECOOP, ICFP
Umλ (Uma Lambda) - A typed functional language with records, fixpoints, and System F polymorphism
Simply Typed Lambda Calculus formalization in Coq with Unicode notations
Cubical Type Theory in Scala 3 — port of Mortberg's cubicaltt
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
A Scala animation library inspired by Manim, render to SVG or mp4.
OpenClaw skill: manage external coding agents (Codex CLI, Claude Code CLI) in tracked tmux sessions with lifecycle state, completion notifications, and task history
A lightweight MCP (Model Context Protocol) server that proxies between AI agents and the Lean 4 language server.
Oguri Cap - Horse girl who codes!
Open Source Impact
Contributions to external projects
