★
solidity 是用 C++ 编写的区块链项目，面向链上应用开发。
Solidity, the Smart Contract Programming Language
lean3 是用 C++ 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
目前累计 2.2k star、225 fork，主要语言为 C++，项目始于 2013 年，采用 Apache-2.0 许可。最近状态：已有一段时间未更新。适合：正在做技术选型的开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。leanprover/lean3 是一个以 C++ 为主的开源项目，目前累计 2.2k star、225 fork，较长时间未更新。主要方向：dependent-types、lean、programming-language、theorem-proving、type-theory、verification。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。README
正在加载…相关项目
★
carbon-lang 是用 C++ 编写的工程工具，用于代码分析、构建与打包。
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
★
entt 是用 C++ 编写的游戏开发项目，用于游戏与引擎开发，主打速度快、现代化。
Gaming meets modern C++ - a fast and reliable entity component system (ECS) and much more
★
capnproto 是用 C++ 编写的代码库，提供可直接复用的能力。
Cap'n Proto serialization/RPC system - core tools and C++ library
★
assimp 是用 C++ 编写的移动端方案，用于移动应用开发。
The official Open-Asset-Importer-Library Repository. Loads 40+ 3D-file-formats into one unified and clean data structure.
★
AutoHotkey 是用 C++ 编写的测试工具，用于自动化测试与验证。
AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.