PyRank
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About

Reasoning Python Packages

Python packages with the GitHub topic reasoning. Sorted by relevance, with stars and monthly downloads.
VectifyAI
pageindex

📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG

45K 31K 3K
IBM
opendsstar

OpenDsStar is an open-source implementation of the DS-Star agent that replaces file-based workflows with a flexible, tool-centric architecture. It supports incremental execution, reuses intermediate results, and makes complex multi-step agents more modular, efficient, and extensible.

44K 17 3
aresio
miniful

A minimal fuzzy library

25K 3 1
eliranwong
agentmake

AgentMake AI: a kit for developing agentic AI applications that support 24 AI backends and and work with 7 agentic components, such as tools and agents. (Developer: Eliran Wong) Supported backends: anthropic, azure, azure_any, cohere, custom, deepseek, genai, github, github_any, googleai, groq, llamacpp, mistral, ollama, openai, vertexai, xai

22K 31 8
quantamixsol
graqle

Give your AI tools architecture-aware reasoning. Knowledge graph from any codebase — 14 LLM backends, impact analysis, confidence scores. Works with Claude Code, Cursor, VS Code Copilot.

14K 22 8
babyblueviper1
invinoveritas

invinoveritas SDK — Lightning-native AI agent platform. Pay-per-use reasoning, marketplace buys, Lightning withdrawals behind a single Bearer key.

7K 0 0
inclusionAI
awex

A high-performance RL training-inference weight synchronization framework, designed to enable second-level parameter updates from training to inference in RL workflows

4K 150 17
AbdelrhmanBassiouny
ripple-down-rules

Implements the various versions of Ripple Down Rules (RDR) for knowledge representation and reasoning.

3K 4 4
lucidrains
coconut-pytorch

Coconut in Pytorch

3K 184 8
vectorlessflow
vectorless

Knowing by reasoning, not vectors.

3K 33 2
lucidrains
hrm-pytorch

Exploration into the proposed architecture from Sapient Intelligence of Singapore 🇸🇬

2K 74 8
bkahan
sphereql

Project high-dimensional embeddings onto a 3D sphere for fast semantic search, spatial queries, category-aware exploration, and interactive visualization.

2K 1 0
Auctalis
nocturnusai

Python SDK for NocturnusAI — a logic-based inference engine and knowledge database

2K 2 0
lpalbou
abstractllm

A unified interface for Large Language Models with memory, reasoning, and tool capabilities. Supports OpenAI, Anthropic, Ollama, HuggingFace, and MLX with hierarchical memory system and agent development features.

2K 2 0
AI4SD
ntloss

Number Token Loss - A regression-alike loss to improve numerical reasoning in language models

2K 20 1
quantamixsol
cognigraph

Give your AI tools architecture-aware reasoning. Knowledge graph from any codebase — 14 LLM backends, impact analysis, confidence scores. Works with Claude Code, Cursor, VS Code Copilot.

2K 22 8
AbdelrhmanBassiouny
entity-query-language

Provides a relational query language that is pythonic and intuitive. Entity Query Language serves as a front end to other query languages like sql or prolog

2K 4 1
lucidrains
tiny-recursive-model

Tiny Recursive Model

1K 174 31
ahmadvh
octochains

A lightweight, zero-dependency Python framework for parallel, isolated, collaborative AI reasoning.

1K 336 144
dialexity
dialectical-framework

Turn stories, strategies, or systems into insight. Auto-generate Dialectical Wheels (DWs) from any text to reveal blind spots, surface polarities, and trace dynamic paths toward synthesis. DWs are semantic maps that expose tension, transformation, and coherence within a system—whether narrative, ethical, organizational, or technological.

1K 15 6
Adam-Vandervorst
bhv

Boolean Hypervectors with various operators for experiments in hyperdimensional computing (HDC).

1K 31 6
latchfield
vulcan-core

AI-Hybrid Rules Engine for Logical Reasoning.

1K 17 4
Ronit26Mehta
argus-debate-ai

ARGUS: Production-ready multi-agent AI debate framework with RAG, Bayesian reasoning, provenance tracking, 50+ tool integrations, OpenAPI REST generation, context caching/compression, and advanced LLM orchestration for scientific discovery, fact-checking, and evidence-based decision-making

1K 3 0
chanind
tensor-theorem-prover

First-order logic theorem prover supporting unification with approximate vector similarity

1K 14 1
    • Data from PyPI, GitHub, ClickHouse, and BigQuery