Search Results for "reasoning"
Sort By:
Showing 67 open source projects for "reasoning"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
nature-skills
Skill that conforms to the academic expression and scientific research
...The repository is designed to support experimentation with multi-step reasoning, task automation, and contextual tool orchestration for agentic AI systems. By standardizing reusable capabilities, the project helps developers build more maintainable and extensible AI workflows. Overall, nature-skills contributes to the growing ecosystem of modular AI agent tooling and structured automation frameworks. -
2
EasyR1
An Efficient, Scalable, Multi-Modality RL Training Framework
...It emphasizes memory-efficient training strategies so you can train long-context or reasoning-dense models on commodity GPUs. The framework is also organized to help you compare training strategies (e.g., pure SFT vs. preference optimization) so you can see what actually moves metrics in math, code, and multi-step reasoning. For teams exploring open reasoning models, EasyR1 provides an opinionated yet flexible path from dataset to deployable checkpoints. -
3
PageIndex
Document Index for Vectorless, Reasoning-based RAG
...Rather than chunking text and embedding it into a vector database, PageIndex constructs a tree-structured index — similar to a detailed, AI-enhanced table of contents — that a large language model can traverse to locate the most relevant sections of long documents. This reasoning-driven retrieval aligns more naturally with how humans explore complex texts, improving relevance and traceability, especially in professional domains like financial reports, legal contracts, and technical manuals. The project includes example notebooks, scripts for tree generation and search, and support for multiple document formats including PDF and markdown, with tools designed to preserve context and semantic boundaries. -
4
dsh-routing-suite
dsh-routing-suite — injector + router-standard kit
DSH Routing Suite packages a runtime injector and task-aware reasoning presets for the DSH agent environment. Its injector can add, hot-reload, promote, remove, and repair routes without restarting the runtime. The included router presets choose among planning, execution, weak self-classification, and deeper reasoning behaviors based on the task and model. Near-field guidance is injected after user messages to keep routing focused and resist drift. -
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
5
Synthetic Data Kit
Tool for generating high quality Synthetic datasets
...It supports generation of rationales/chain-of-thought variants, configurable sampling, and guardrails so outputs meet format constraints and quality checks. Examples and guides show how to target task-specific behaviors like tool use or step-by-step reasoning, then save directly into training-ready files. -
6
Antigravity Awesome Skills
The Ultimate Collection of 700+ Agentic Skills for Claude Code
...The project includes skill definitions, example prompts, and usage patterns that highlight how modular abilities can be assembled into functioning assistants. Because it aims to reduce cognitive overhead, many skills show how to structure intents, handle context, and orchestrate multi-step reasoning without deep technical complexity. It also serves as inspiration for users looking to prototype new use cases — from conversational helpers that answer questions to workflow automators that trigger actions. -
7
Quint Code
Structured reasoning framework for Claude Code, Gemini, and Cursor
Quint Code is a structured reasoning and decision-support framework aimed at making AI-assisted software engineering and decision workflows more rigorous and auditable. It implements the First Principles Framework (FPF) to guide users and AI tools through hypothesis generation, logical verification, evidence gathering, and documented decision making, reducing reliance on ad hoc or “vibe” coding. -
8
Lean 4
Lean 4 programming language and theorem prover
Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. ... -
9
Fulcro
A library for development of single-page full-stack web applications
Fulcro is a batteries-included, full-stack library for building data-driven web applications in Clojure and ClojureScript. It integrates seamlessly with React, supports web, native, and desktop (Electron) targets, and enables strong local reasoning while facilitating rapid development and scalable production-level UIs. The rewrite of Fulcro Inspect is available via the releases page of Fulcro Inspect. And there are preliminary instructions for using it with the latest Fulcro. The alpha versions of Fulcro 3.8 are alpha purely because of this development-time change and its potential issues, and are otherwise production-ready. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
LeetCode Master
About "Code Thoughts" LeetCode Practice Guide: 200 classic questions
leetcode-master is a comprehensive collection of LeetCode solutions written in C++ and organized as a structured learning path for coding interview preparation. The repository contains detailed explanations, categorized problem sets, and step-by-step reasoning behind solutions, making it an effective study companion for developers preparing for technical interviews. Problems are grouped by topic—such as arrays, linked lists, dynamic programming, greedy algorithms, and graph theory—so learners can focus on specific areas systematically. Each solution is accompanied by clear commentary to explain the thought process, algorithm design, and complexity analysis. ... -
11
TraceRoot
Find the Root Cause in Your Code's Trace
...Lightweight SDKs for Python and TypeScript enable seamless instrumentation using OpenTelemetry, with support for both self-hosted and cloud deployment. Human-in-the-loop interaction is central: developers can guide reasoning by selecting relevant spans or logs, then verify agent reasoning through traceable context. -
12
pytudes
Python programs, usually short, of considerable difficulty
...The repository includes readable solutions, experiments, notebooks, and scripts that cover algorithms, puzzles, probability, search, language processing, simulation, and mathematical reasoning. It is useful for programmers who want to study elegant Python code while learning how experienced developers approach problem solving. Many examples emphasize clarity and compactness rather than framework-heavy engineering. pytudes is best understood as a learning library, a coding style reference, and a set of practical programming studies. -
13
Ollama-Laravel Package
Ollama-Laravel is a Laravel package providing seamless integration
...The package supports a wide range of AI capabilities including text generation, chat-based interactions, embeddings, and multimodal vision analysis, making it suitable for both simple features and complex AI-driven systems. It also includes support for reasoning models and function calling, enabling developers to build more advanced workflows where models can trigger tools or structured actions. Real-time streaming responses are supported, allowing applications to deliver incremental outputs for better user experience. -
14
Ameba
A static code analysis tool for Crystal
...It enforces a consistent Crystal code style, and also catches code smells and wrong code constructions. Ameba allows you to dig deeper into an issue, by showing you details about the issue and the reasoning behind it being reported. Starting from 0.31.0 Crystal supports parallelism. It allows running linting in parallel too. The default configuration file is .ameba.yml. It allows configuring rule properties, disabling specific rules and excludes sources from the rules. -
15
Page Agent
JavaScript in-page GUI agent. Control web interfaces
...Page Agent is designed to integrate seamlessly into existing web applications, making it possible to embed AI copilots into SaaS platforms without major backend changes. It supports a bring-your-own-LLM approach, allowing developers to connect their preferred language models to power the agent’s reasoning capabilities. -
16
UI UX Pro Max
AI SKILL that provide design intelligence
UI UX Pro Max is an open-source AI skill designed to provide intelligent design assistance for professional user interfaces and user experiences across web, mobile, and cross-platform frameworks. It uses an AI reasoning engine to generate complete design systems tailored to project requirements, recommending layouts, typography, colors, spacing, and component structures automatically based on natural language prompts. Users can ask for specific UI/UX tasks or design patterns, and the skill will produce guidelines, code snippets, and responsive implementation suggestions that align with industry best practices and accessibility standards. ... -
17
Workflow
A Swift and Kotlin library for making composable state machines
...Optimized for composability and scalability of features and screens. A library that supports writing business logic and complex UI navigation logic as state machines, thereby enabling confident reasoning about the state and validation of correctness. A unidirectional data flow library that uses immutable data within each Workflow. Data flows in a single direction from the source to the UI, and events in a single direction from the UI to the business logic. Each logical component area is separated into a Workflow with a finite set of states and the logic to transition between them. -
18
chinese-buy-us-stock-guide
Science book on US stocks written for investors
...It is useful for readers who need a structured overview of the operational and regulatory questions involved in cross-border investing. The content emphasizes explaining not only each step, but also the risks and reasoning behind it. Its main value is collecting scattered U.S. stock investing information into a clearer Chinese-language learning path. -
19
OpenAI Codex CLI
Lightweight coding agent that runs in your terminal
OpenAI Codex CLI is a lightweight, open-source coding assistant that runs directly in your terminal, designed to bring ChatGPT-level reasoning to your code workflows. It allows developers to interactively query, edit, and generate code within their repositories, all while maintaining version control. The CLI can scaffold new files, run code in sandboxed environments, install dependencies, and commit changes automatically, streamlining chat-driven development. It supports various approval modes—from suggestion-only to full automation—ensuring safe and controlled code execution. ... -
20
Synkra AIOS
AI-Orchestrated System for Full Stack Development
...The framework includes features for project setup, environment configuration, deployment scaffolding, and intelligent code generation, potentially reducing time spent on boilerplate and repetitive engineering tasks. Synkra AIOS positions itself as a productivity middleware that integrates AI reasoning within traditional devops, front-end, and back-end workflows, allowing teams to produce production-ready applications faster. -
21
core.logic
A logic programming library for Clojure & ClojureScript
core.logic brings logic programming to Clojure and ClojureScript through an implementation of miniKanren, enabling relational, constraint-based, and nominal logic programming. It allows complex reasoning and declarative problem-solving directly in Clojure. core.unify provides a la carte unification facilities that are not deeply tied into the operation of a logic engine. While core.logic does provide a similar simple unifier interface with support for specifying fine-grained constraints, if you have no need for a logic programming system, core.unify may be a better fit. -
22
KnowNote
A local-first AI knowledge base & NotebookLM alternative
...It lets users build an intelligent, searchable knowledge base from uploaded documents such as PDFs, Word files, PowerPoints, and web pages, and then interact with that content using LLM-powered chat, summarization, and reasoning tools. Unlike many NotebookLM alternatives that rely on Docker or cloud deployments, KnowNote runs natively on desktop platforms without complex setup, meaning all data stays local unless the user opts to integrate with self-managed or private LLM APIs. Its retrieval-augmented generation (RAG) system offers semantic search and traceable source references, and it supports multiple LLM providers through a flexible plugin-style provider architecture. -
23
RuVector
Self-Learning, Vector Graph Neural Network, and Database built in Rust
...The project fits into a larger vision of modular, composable AI infrastructure designed to support autonomous agents, data retrieval, and intelligent automation workflows. It emphasizes extensibility and interoperability with modern AI stacks, allowing developers to integrate vector operations into search, reasoning, or generative systems. The repository reflects a research-forward approach that blends practical utilities with experimental agentic concepts, encouraging exploration of emerging AI design patterns. It is intended for developers building sophisticated AI-powered applications who need flexible vector handling and integration capabilities. -
24
Substrate
An Open-source Framework for Human Understanding, Meaning, Progress
Substrate is an open-source framework focused on human understanding, meaning, and progress. It aims to surface and structure conceptual objects—ideas, problems, beliefs, models, frames, goals, arguments, sources—to make them more transparent, discussable and actionable. The goal is to enable communities to collectively build and maintain a repository of these objects so that complex systems of meaning and progress can be mapped, analyzed and improved. It is relatively ambitious in... -
25
Napkin Math
Techniques and numbers for estimating system's performance
...The project is useful for questions like how much memory throughput matters, how long storage operations may take, what network latency to expect, or how expensive logging could become at high request volume. It treats these values as rounded numbers for reasoning rather than exact performance guarantees. The repository is especially useful for system design interviews, architecture planning, capacity estimation, and infrastructure cost discussions. It encourages engineers to practice estimation as a skill so they can reason about systems before building or benchmarking them.