Highlights
-
pi-mono Public
Forked from badlogic/pi-monoAI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
TypeScript MIT License UpdatedMar 24, 2026 -
symphony Public
Forked from openai/symphonySymphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.
Elixir Apache License 2.0 UpdatedMar 20, 2026 -
skills Public
Turn vague words into shipping code — through definition, design, and execution.
2 UpdatedMar 10, 2026 -
-
sticky-notes Public archive
Moved to https://usememos.com/scratchpad
-
-
tiny-undo Public
Manage the undo/redo state programmatically for plain-text input element.
-
Formal Methods Foundation Assignments in USTC
Python UpdatedApr 15, 2021 -
simple-RESTful-web-server Public
A simple RESTful web server with go, only used 3 modules.