Popular repositories Loading

1. mimi mimi Public

   Mimi language: contract-verified systems programming with LLVM codegen, Z3 verification, and structured concurrency

   Rust 7 1

2. mimispec mimispec Public

   MimiSpec language — a high-information-density intent specification language with parser CLI, AST, and LaTeX rendering

   Rust 4

3. Opencode_CN Opencode_CN Public

   OpenCode 中文本地化分支：系统提示词、工具描述、智能体定义全面中文化——让 AI 编程智能体用中文思考，而不只是界面汉化 Chinese-localized system prompts & tool descriptions, so the coding agent thinks in Chinese

   TypeScript