Pinned Loading

1. oet-public oet-public Public

   算子演化论（OET）公开书稿与 Lean 4 形式化 · Operator Evolution Theory: manuscript and Lean 4 formalization.

   Lean 1

2. storybook-co-editor storybook-co-editor Public

   AI 绘本本地协同排版工具：Chrome 扩展抓取网页插图，Tauri 桌面端完成图文编辑、图像微调和印前 PDF 导出。

   TypeScript 2

3. math-workspace math-workspace Public

   Local workspace for long-form mathematical writing, structural review, Lean alignment, and Codex collaboration ｜ 面向长篇数学写作、结构审阅、Lean 对齐与 Codex 协作的本地工作空间

   TypeScript 1

4. paged-context-protocol paged-context-protocol Public

   An open protocol and Rust runtime for persistent, user-owned context and memory across AI applications. | 面向 AI 应用的持久上下文与记忆协议及 Rust 运行时，数据由用户持有。

   Rust 1

5. infer-runtime infer-runtime Public

   A local-first AI inference control plane for heterogeneous intelligence resources.｜面向异构智能资源的本地优先 AI 推理控制平面。

   Rust

6. shadow shadow Public

   本地优先、非破坏性的摄影工作空间：统一图库、选片、RAW 节点编辑与局域网图库。 / A local-first, non-destructive photography workspace for library, culling, RAW node editing, and LAN Libraries.

   C++ 2