Stars
【A common used C++ & Python DAG framework】 一个通用的、无三方依赖的、跨平台的、收录于awesome-cpp的、基于流图的并行计算框架。欢迎star & fork & 交流
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
A curated list of awesome header-only C++ libraries
Modern C++ Programming Course (C++03/11/14/17/20/23/26)
🧸 A tiny single-file version of the ModernCppStarter project for exploring libraries or playing with C++ code. Reproducible dependency management included, so the code will work the same everywhere.
🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.
V3.0 LaTeX Template for PhD/MA Thesis of Southwest Jiaotong University (SWJTU) / 西南交通大学研究生学位论文LaTeX模板(V3.0)
TPTP World code for manipulating TPTP files of formulae
国家重点Finance专项（作者：武汉科技大学-郑丽丽），包含：数据收集、知识图谱建模、规则推理等成果内容【PS：已有部分内容作为论文发表，禁止商业、侵权行为使用】
Comprehensive LaTeX-based deep learning guide with custom TikZ illustrations
程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).
An automated theorem prover for first-order logic.
Some code demo for setting up an reinforcement learning based proof search algorithm for classic FOL closed connection tableau
A Learning Environment for Theorem Proving with the Coq proof assistant