David Zhang

@WAcry · User

GitHub profile ↗ · Compare

Eng, Recommender System @Roblox

RobloxSan Mateo7 followers70 repositories

Repositories

WAcry/codex

Lightweight coding agent that runs in your terminal

★ 0RustForks 0

WAcry/cd4-cd5-polynomial-identities

Polynomial identities separating CD4 from CD5: manuscript, exact verifier, pinned Lean 4 audit layer, and the complete degree-eight certificate bundle

★ 2PythonForks 0

WAcry/webcodex

Give cloud AI agents a real development environment on your own machines.

★ 0Forks 0

WAcry/devspace

Turn ChatGPT into Codex! OR Turn Claude Web into Claude Code!

★ 0TypeScriptForks 0

WAcry/nebula

AI-native, GPU-accelerated terminal emulator for Windows with SSH, persistent sessions, split panes, and first-class AI CLI workflows.

★ 0Forks 0

WAcry/multica

The open-source managed agents platform. Turn coding agents into real teammates — assign tasks, track progress, compound skills.

★ 0Forks 0

WAcry/JsonBlox

JSON Blox - Highly Performant and User-Friendly JSON Visualization Toolkit

★ 3JavaScriptForks 0

WAcry/clice

A next-generation C++ language server for modern C++, focused on high performance and deep code intelligence

★ 0Forks 0

WAcry/protobuf

Protocol Buffers - Google's data interchange format

★ 0Forks 0

WAcry/mcp-filter

A proxy MCP (Model Context Protocol) server that filters the upstream tool surface to just the tools you need.

★ 0Forks 0