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

4. platform-server-8090 platform-server-8090 Public

   Forked from kirintea/platform-server-8090

   Python

5. Sagittarc-vllm Sagittarc-vllm Public

   Forked from vllm-project/vllm

   Sagittarc – a lean inference engine for LLMs, forged for Arc A770 multi-GPU clusters. No generic cruft, only SYCL and raw performance.

   Python