Language Breakdown
Lines of code distribution across 22 owned repositories
T-Shaped Developer
T-shapedDeep in Jupyter Notebook with broad versatility
Collaboration Network
Global Impact visualization
Repos
71
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Jinwoo Lee
@chemonoworld
Italo Casas
@italoacasas
Junha Hwang
@hjnMavis
Klaus Post
@klauspost
Garry Tan
@garrytan
Top Repositories
Main project repository for 2023 GBIC Hackerthon
for team project
self-hosted, trustless relay network for exposing localhost
Agent Package Manager
Lean 4 programming language and theorem prover
The Daml smart contract language
simple research docs repo of crypto domain
GraphBit is the world’s first enterprise-grade Agentic AI framework, built on a Rust core with a Python wrapper for unmatched speed, security, and scalability. It enables reliable multi-agent workflows with minimal CPU and memory usage, making it production-ready for real-world enterprise environments.
EmDash is a full-stack TypeScript CMS based on Astro; the spiritual successor to WordPress
Smart contracts for conditional tokens.
Open Source Impact
Contributions to external projects
