Projects

Personal projects and contributions to open source.

GitHub Contributions

Public pull requests to projects beyond my own repositories.

Merged PRs: 13
Open PRs: 9
Repositories: 9

By project By status

ncchen99/NCKU-CA 3 merged 3 PRs

sysprog21/elfuse 3 merged 3 PRs

sysprog21/frama-c-mcp 3 merged 3 PRs

#12 Respawn the session when the transport is poisoned
Merged Aug 29, 2026
#10 Bound the frame write so a wedged server cannot freeze the client
Merged Aug 29, 2026
#11 Serialize each run_wp transaction with a per-instance lock
Merged Aug 28, 2026

n8n-io/n8n 2 merged 1 closed 3 PRs

sysprog21/zhtw-mcp 1 merged 1 PR

#137 Require independent terms for consistency
Merged Sep 6, 2026

tover0314-w/opentypeless 1 merged 1 PR

#107 fix: show service-unavailable message when desktop sign-in handoff fails
Merged Aug 31, 2026

anomalyco/opencode 4 open 4 PRs

microsoft/vscode 3 open 3 PRs

omacom/omarchy 2 open 2 PRs

Merged pull requests 13

Open pull requests 9

Closed without merging 1

n8n-io/n8n #37897 fix(core): Preserve active SSH clients during connection cleanup
Closed Sep 4, 2026