An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
GitHub repository with 27 stars and 3 forks.
Language: C++
Topics: condensed-detachment, formal-proofs, frege-systems, hilbert-systems, hpc, logic, mathematical-logic, modal-logic, mpi, natural-deduction
2026-06-05: 27 stars and 3 forks.
LLM inference in C/C++
GitHub repository with 114,684 stars and 19,190 forks.
Trending score: 4.40; stars gained: +304; forks gained: +99.
Language: C++
Topics: ggml
DuckDB is an analytical in-process SQL database management system
GitHub repository with 38,615 stars and 3,298 forks.
Trending score: 3.50; stars gained: +40; forks gained: +6.
Language: C++
Topics: sql, database, olap, analytics, embedded-database
Community maintained hardware plugin for vLLM on Ascend
GitHub repository with 2,196 stars and 1,345 forks.
Trending score: 3.25; stars gained: +16; forks gained: +22.
Language: C++
Topics: ascend, inference, llm, llm-serving, llmops, mlops
:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS
GitHub repository with 121,541 stars and 17,235 forks.
Trending score: 3.02; stars gained: +16; forks gained: +2.
Language: C++
Topics: c-plus-plus, chrome, css, electron, html, javascript
ClickHouse® is a real-time analytics database management system
GitHub repository with 47,822 stars and 8,466 forks.
Trending score: 2.96; stars gained: +53; forks gained: +10.
Language: C++
Topics: ai, analytics, big-data, clickhouse, cloud-native, cpp
Truly independent web browser
GitHub repository with 63,751 stars and 3,075 forks.
Trending score: 2.89; stars gained: +52; forks gained: +5.
Language: C++
Topics: browser, browser-engine