Avatar for 郑煌志 from gravatar.com

郑煌志

Username    zhenghuangzhi
Date joined   Joined

2 projects

kernel-port-agent

Last released

Agent-callable toolchain: mine pure-compute kernels from Java repos, extract them with purity proofs, generate JNI glue, and verify + benchmark C++ translations.

deadcode-hunter

Last released

Find dead code in Python, Java and TypeScript projects — and prove it's safe to delete.
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page