Pinned Loading

1. oet-public oet-public Public

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

   Lean 1

2. math-workspace math-workspace Public

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

   TypeScript 1

3. 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

4. infer-runtime infer-runtime Public

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

   Rust

5. shadow shadow Public

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

   C++ 2

6. math-gauge math-gauge Public

   A benchmark for reliable AI mathematical work: proofs, Lean formalization, research, and self-checking.

   HTML 1