★
rpcs3 是用 C++ 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
PlayStation 3 emulator and debugger
alive2 是用 C++ 编写的开源项目，主题标签有限，建议打开仓库查看具体用途。
目前累计 1.2k star、160 fork，主要语言为 C++，项目始于 2018 年，采用 MIT 许可。最近状态：近一个月有提交。适合：正在做技术选型的开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。AliveToolkit/alive2 是一个以 C++ 为主的开源项目，目前累计 1.2k star、160 fork，近 30 天内有提交。主要方向：automatic-verification、llvm、llvm-ir、model-checking、smt、symbolic-execution。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。automatic-verificationllvmllvm-irmodel-checkingsmtsymbolic-executiontranslation-validationverification
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.
★
ninja 是用 C++ 编写的开源项目，主题标签有限，建议打开仓库查看具体用途，主打轻量。
a small build system with a focus on speed