Search Results for "reasoning"
Sort By:
51 projects for "reasoning" with 2 filters applied:
-
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.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
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. -
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.
-
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. -
$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.
-
10
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. -
11
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. -
12
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. -
13
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. -
14
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. -
15
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. -
16
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. -
17
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. -
18
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. -
19
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... -
20
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. -
21
Think Bayes 2
Text and code for the second edition of Think Bayes, by Allen Downey
Think Bayes 2 is the companion repository for the second edition of Allen B. Downey’s introduction to Bayesian statistics. It teaches Bayesian reasoning through computational methods instead of relying mainly on symbolic mathematics. Each chapter is presented as a Jupyter notebook where readers can study the text, run examples, and complete exercises. Separate solution materials help learners check their work and explore alternative approaches. The lessons cover probability distributions, Bayesian updating, estimation, prediction, comparison, and decision-making. ... -
22
Make It heavy
A Python framework that emulates Grok Heavy functionality
...The framework uses OpenRouter for model access and can also run in single-agent mode for simpler tasks. Overall, it is useful for users who want broader research coverage, richer reasoning diversity, and structured multi-agent responses from one command-line workflow. -
23
k-skill
Skill collection for Koreans - SRT, KTX, KakaoTalk, Hangul
The k-skill project is an AI skill management framework designed to organize, structure, and execute reusable capabilities within AI-driven development environments. It focuses on defining skills as modular, composable units that can be invoked by agents to perform specific tasks such as coding, reasoning, or automation. The system provides a standardized structure for skills, enabling consistency across different workflows and improving interoperability between tools. It is designed to integrate with modern AI agent ecosystems, allowing developers to extend functionality without rewriting core logic. The project emphasizes simplicity and modularity, making it easier to manage large collections of skills in complex environments. ... -
24
Mangle
Go library for Datalog-style logical reasoning and domain modeling
Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern... -
25
Cats Effect
The pure asynchronous runtime for Scala
...Cats-Effect offers capabilities like deferred execution, cancellation, resource safety (Resource), fiber concurrency (lightweight threads), and interoperation with underlying runtime platforms (JVM, Java concurrency, etc.). It enables developers to write effectful code while preserving composability, purity, and modular reasoning about side effects.