Stars
SGLang is a high-performance serving framework for large language models and multimodal models.
基于 Docker Compose 部署 WeChat Server（微信协议 HTTP API 服务），编排 应用 + MySQL 8.0 + Redis 6，开箱即用。
A modern Prolog implementation written mostly in Rust.
Obsidian 🤝 Neovim (actively maintained version)
WeChatPadPro 是基于 WeChat Pad 的高级微信管理工具
🐚bash/POSIX-compatible shell implemented in Rust 🦀
Cross-platform Rust rewrite of the GNU coreutils
The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑🔬
A local-first LaTeX & Typst web editor with real-time collaboration & offline support
ReplyTeX: Latex Template for Review Comments of Papers
LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, first-order, and non-monotonic logics.
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
Creusot helps you prove your Rust code is correct.
This repository collects various works that reproduce DeepSeek R1, as well as works related to DeepSeek R1 and the DeepSeek series.
Rule-based double-entry bookkeeping importer (from Alipay/WeChat/Huobi etc. to Beancount/Ledger).
Repo for BenCao [original name: HuaTuo (华驼)], Instruction-tuning Large Language Models with Chinese Medical Knowledge. 本草（原名：华驼）模型仓库，基于中文医学知识的大语言模型指令微调
机器人框架，可接入Gemini、ChatGPT、ChatGLM、讯飞星火、Tigerbot；成语接龙、天气预报、新闻摘要、定时任务。
A Flexible Framework for Experiencing Heterogeneous LLM Inference/Fine-tune Optimizations
SAT (Boolean) Enumerator of Minimal Unsatisfiable Subsets (MUSes)
A computer algebra system written in pure Python