★
MNN 是用 C++ 编写的学习资料，用于系统学习与查阅，主打高性能、速度快、轻量。
MNN: A blazing-fast, lightweight inference engine battle-tested by Alibaba, powering high-performance on-device LLMs and Edge AI.
lean-dojo / LeanCopilot
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
LeanCopilot 是用 C++ 编写的 AI 工具，用于大模型与智能体应用开发。
目前累计 1.3k star、130 fork，主要语言为 C++，项目始于 2023 年，采用 MIT 许可。最近状态：近一个月有提交。适合：做 AI 应用的开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。lean-dojo/LeanCopilot 是一个以 C++ 为主的开源项目，目前累计 1.3k star、130 fork，近 30 天内有提交。主要方向：formal-mathematics、lean、lean4、大模型、llm-inference、machine-learning。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。README
正在加载…相关项目
★
Open3D 是用 C++ 编写的学习资料，用于系统学习与查阅，主打现代化。
Open3D: A Modern Library for 3D Data Processing
★
dlib 是用 C++ 编写的 AI 工具，用于人工智能方向的建模与推理。
A toolkit for making real world machine learning and data analysis applications in C++
★
★
CNTK 是用 C++ 编写的 AI 工具，用于人工智能方向的建模与推理，主打开源免费。
Microsoft Cognitive Toolkit (CNTK), an open source deep-learning toolkit
★
LightGBM 是用 C++ 编写的学习资料，用于系统学习与查阅，主打高性能、速度快、可伸缩。
A fast, distributed, high performance gradient boosting (GBT, GBDT, GBRT, GBM or MART) framework based on decision tree algorithms, used for ranking…