Reasoning

Open-source projects categorized as Reasoning

Top 23 Reasoning Open-Source Projects

Reasoning
  1. typedb

    TypeDB: the power of programming, in your database

    Project mention: TypeDB: A Next-Gen Database | news.ycombinator.com | 2024-12-22
  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. Awesome-LLM-Reasoning

    Reasoning in LLMs: Papers and Resources, including Chain-of-Thought, OpenAI o1, and DeepSeek-R1 🍓

  4. ReAct

    [ICLR 2023] ReAct: Synergizing Reasoning and Acting in Language Models (by ysymyth)

  5. open-thoughts

    Fully open data curation for reasoning models

    Project mention: Hugging Face is looking for reasoning datasets beyond math, science and coding | dev.to | 2025-04-16

    OpenThoughts-114k generation code

  6. math

    The MATH Dataset (NeurIPS 2021) (by hendrycks)

  7. Protégé

    Protege Desktop

    Project mention: Being on The Semantic Web is easy, and, frankly, well worth the bother | news.ycombinator.com | 2024-08-21

    The semantic web standards are sorely lacking (for decades now) a killer application. Not in a theoretical universe of decentralized philosopher-computer-scientists but in the dumbed down, swipe-the-next-30sec-video, adtech oligopolized digital landscape of walled gardens. Providing better search metadata is hardly that killer app. Not in 2024.

    The lack of adoption has, imho, two components.

    1. bad luck: the Web got worse, a lot worse. There hasn't been a Wikipedia-like event for many decades. This was not pre-ordained. Bad stuff happens to societies when they don't pay attention. In a parallel universe where the good Web won, the semantic path would have been much more traveled and developed.

    2. incompleteness of vision: if you dig to their nuclear core, semantic apps offer things like SPARQL queries and reasoners. Great, these functionalities are both unique and have definite utility but there is a reason (pun) that the excellent Protege project [1] is not the new spreadsheet. The calculus of cognitive cost versus tangible benefit to the average user is not favorable. One thing that is missing are abstractions that will help bridge that divide.

    Still, if we aspire to a better Web, the semantic web direction (if not current state) is our friend. The original visionaries of the semantic web where not out of their mind, they just did not account for the complex socio-economics of digital technology adoption.

    [1] https://protege.stanford.edu/

  8. ThoughtSource

    A central, open resource for data and tools related to chain-of-thought reasoning in large language models. Developed @ Samwald research group: https://samwald.info/

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. understand-r1-zero

    Understanding R1-Zero-Like Training: A Critical Perspective

    Project mention: Understanding R1-Zero-Like Training: A Critical Perspective | news.ycombinator.com | 2025-03-22
  11. self-refine

    LLMs can generate feedback on their work, use it to improve the output, and repeat this process iteratively.

  12. Nucleoid

    Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍

    Project mention: Prolog-MCP Server: Neurosymbolic AI for Modern Workflows | dev.to | 2025-04-19

    Neurosymbolic AI represents a convergence of symbolic reasoning (exemplified by Prolog's logic programming) and neural networks' pattern recognition capabilities. This hybrid approach addresses the limitations of each paradigm while leveraging their complementary strengths. For a deeper dive in the concepts and history of symbolic AI, see excellent article here on dev.to by developers from Nucleoid, and reference to various readings on the bottom of this article.

  13. pal

    PaL: Program-Aided Language Models (ICML 2023) (by reasoning-machines)

  14. lumos

    Code and data for "Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs" (by allenai)

  15. opennars

    OpenNARS for Research 3.0+

  16. multi1

    multi1: create o1-like reasoning chains with multiple AI providers (and locally). Supports LiteLLM as backend too for 100+ providers at once.

    Project mention: Show HN: Multi1 – We have o1 at home | news.ycombinator.com | 2024-09-17
  17. awesome-rust-formalized-reasoning

    An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

  18. neurallambda

    Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.

  19. rci-agent

    A codebase for "Language Models can Solve Computer Tasks"

  20. orra

    A plan engine for dynamic planning and reliable execution of AI agent workflows.

    Project mention: Self-hosting LLMs for Production Systems: Solving the Model Quality Challenge | dev.to | 2025-04-07

    For more information on setting up self-hosted models, check out our documentation on model configuration.

  21. meta-prompting

    Official implementation of paper "Meta Prompting for AI Systems" (https://arxiv.org/abs/2311.11482)

  22. awesome-reasoning

    a curated list of data for reasoning ai

  23. OpenNARS-for-Applications

    General reasoning component for applications based on NARS theory.

  24. multimodal

    A collection of multimodal datasets, and visual features for VQA and captionning in pytorch. Just run "pip install multimodal" (by cdancette)

  25. nyt-connections

    Benchmark that evaluates LLMs using 651 NYT Connections puzzles extended with extra trick words

    Project mention: Claude 4 | news.ycombinator.com | 2025-05-22

    On the extended version of NYT Connections - https://github.com/lechmazur/nyt-connections/:

    Claude Opus 4 Thinking 16K: 52.7.

    Claude Opus 4 No Reasoning: 34.8.

    Claude Sonnet 4 Thinking 64K: 39.6.

    Claude Sonnet 4 Thinking 16K: 41.4 (Sonnet 3.7 Thinking 16K was 33.6).

    Claude Sonnet 4 No Reasoning: 25.7 (Sonnet 3.7 No Reasoning was 19.2).

    Claude Sonnet 4 Thinking 64K refused to provide one puzzle answer, citing "Output blocked by content filtering policy." Other models did not refuse.

  26. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Reasoning discussion

Log in or Post with

Reasoning related posts

  • Strengths and limitations of diffusion language models – sean goedecke

    1 project | news.ycombinator.com | 22 May 2025
  • Gemini Diffusion

    4 projects | news.ycombinator.com | 21 May 2025
  • GRPO experiment: I trained a Language Model to schedule events

    2 projects | news.ycombinator.com | 10 May 2025
  • Prolog-MCP Server: Neurosymbolic AI for Modern Workflows

    1 project | dev.to | 19 Apr 2025
  • Hugging Face is looking for reasoning datasets beyond math, science and coding

    2 projects | dev.to | 16 Apr 2025
  • Understanding R1-Zero-Like Training: A Critical Perspective

    1 project | news.ycombinator.com | 22 Mar 2025
  • Open Thoughts: open data curation for reasoning models

    1 project | news.ycombinator.com | 22 Feb 2025
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 19 Jun 2025
    InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now. Learn more →

Index

What are some of the best open-source Reasoning projects? This list will help you:

# Project Stars
1 typedb 3,997
2 Awesome-LLM-Reasoning 3,152
3 ReAct 2,614
4 open-thoughts 1,920
5 math 1,136
6 Protégé 1,094
7 ThoughtSource 976
8 understand-r1-zero 983
9 self-refine 702
10 Nucleoid 621
11 pal 486
12 lumos 465
13 opennars 395
14 multi1 347
15 awesome-rust-formalized-reasoning 342
16 neurallambda 261
17 rci-agent 234
18 orra 210
19 meta-prompting 176
20 awesome-reasoning 136
21 OpenNARS-for-Applications 98
22 multimodal 82
23 nyt-connections 101

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Python is
the 2nd most popular programming language
based on number of references?