konclude/Konclude

Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL

GitHub repository with 55 stars and 8 forks.

Language: C++

Topics: reasoning, owl, logic, owl-reasoner, semantic-web, ontology, sparql

Open provider repository

24h trend summary

Trending score 0.50, freshness score 0.03, stars gained +1, forks gained +0.

Latest metric snapshot

2026-11-03: 55 stars and 8 forks.

Trending in C++

  1. 1. Niko1221/Strata

    Qwen3.8-Flash-Next on any consumer hardware: one-click install for Windows / Linux. Strata inference engine, OpenAI/Anthropic API on localhost, optional image input.

    GitHub repository with 38,822 stars and 4,214 forks.

    Trending score: 5.97; stars gained: +1,346; forks gained: +175.

    Language: C++

  2. 2. boykopovar/AnyPS5

    Tool for automatic PS5 executables porting to Linux and Windows

    GitHub repository with 50,796 stars and 4,840 forks.

    Trending score: 5.32; stars gained: +580; forks gained: +82.

    Language: C++

    Topics: anyps5, dynamic-library, game-porting, ps5, ps5-tools, spir-v

  3. 3. ggml-org/llama.cpp

    LLM inference in C/C++

    GitHub repository with 133,242 stars and 25,089 forks.

    Trending score: 4.62; stars gained: +206; forks gained: +59.

    Language: C++

    Topics: ggml

  4. 4. Inginnng/EditHere

    EditHere — 截图、写下意见、直接调整布局，把修改意图一次交给 AI。

    GitHub repository with 1,286 stars and 90 forks.

    Trending score: 3.91; stars gained: +90; forks gained: +4.

    Language: C++

  5. 5. 78/xiaozhi-esp32

    An MCP-based chatbot | 一个基于MCP的聊天机器人

    GitHub repository with 32,393 stars and 7,623 forks.

    Trending score: 3.84; stars gained: +58; forks gained: +17.

    Language: C++

    Topics: chatbot, esp32, mcp

  6. 6. aardappel/goose

    The Goose Programming Language

    GitHub repository with 2,891 stars and 116 forks.

    Trending score: 4.45; stars gained: +249; forks gained: +8.

    Language: C++