Language Breakdown
Lines of code distribution across 32 owned repositories
T-Shaped Developer
T-shapedDeep in C with broad versatility
Collaboration Network
Global Impact visualization
Repos
49
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Dongjia "toka" Zhang
@tokatoka
Jihyun Lee
@jyunlee
Yigit Kucuk
@yigitk
saebyulpark
@saebyulpark
Taeksu Kim
@TaeksuKim
Top Repositories
This repository contains the replication package for the paper "How Much is Unseen Depends Chiefly on Information About the Seen," accepted at the ICLR 2025 conference as a spotlight paper.
a hands-on exercise used in The 18th Intl. Workshop on Search-Based and Fuzz Testing (SBFT'25) tutorial: "Magic of Statistics for Software Testing: How to Foresee the Unseen"
Modeling Observation-based Approximate Dependence (SCAM19)
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflows - all through natural language commands.
Property-based testing for Lean via metaprogramming
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
Open Source Impact
Contributions to external projects
