Search Results for "reasoning"
Sort By:
Showing 35 open source projects for "reasoning"
View related business solutions-
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
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.
-
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
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. -
3
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. -
4
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. ... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
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. -
6
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. -
7
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. -
8
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. -
9
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. -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
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. -
11
Cookbook (Google Gemini)
Examples and guides for using the Gemini API
...The repository covers a wide range of Gemini capabilities, including text, images, video, speech, robotics, and multimodal interactions. It highlights newly introduced features such as Gemini 2.5 models (Flash and Pro), Gemini’s native image generation, Veo for video generation, robotics-focused reasoning models, and Lyria for TTS and music generation. The Cookbook also includes tutorials on advanced API workflows such as grounding answers with external tools, batch-mode request handling, and live multimodal interactivity with LiveAPI. Designed as a hands-on resource, it helps developers quickly explore Gemini’s potential while serving as a reference for integrating cutting-edge multimodal AI into applications. -
12
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. -
13
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. ... -
14
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. ... -
15
AWS IoT Fleet Provisioning Library
Client library for using AWS IoT Fleet Provisioning service
...Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis, and validation of memory safety through the CBMC automated reasoning tool. -
16
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. -
17
Scalaz
Principled Functional Programming in Scala
Scalaz is a foundational functional-programming library for Scala that provides type classes, data types, and syntax to write pure, composable code. It implements classic abstractions such as Functor, Applicative, Monad, Monoid, Foldable, and Traverse, along with powerful transformers (ReaderT, StateT, WriterT, OptionT, and more) to structure effects. The library offers rich data structures—\/ (disjunction), Validation, NonEmptyList, IList, and Free—that help model errors, invariants, and... -
18
Formik
Build forms in React
...No fancy subscriptions or observables under the hood, just plain React state and props. By staying within the core React framework and away from magic, Formik makes debugging, testing, and reasoning about your forms a breeze. If you know React, and you know a bit about forms, you know Formik! Since form state is inherently local and ephemeral, Formik does not use external state management libraries like Redux or MobX. This also makes Formik easy to adopt incrementally and keeps bundle size to a minimum. -
19
ARC-AGI
The Abstraction and Reasoning Corpus
...Unlike traditional machine learning benchmarks, ARC emphasizes generalization and reasoning over statistical pattern recognition, making it particularly challenging for current AI systems. The repository also includes a browser-based interface that allows humans to attempt solving the tasks manually, providing a baseline for comparison. -
20
Prompt Engineering Interactive Tutorial
Anthropic's Interactive Prompt Engineering Tutorial
...The course leans heavily on realistic failure modes (ambiguity, hallucination, brittle instructions) and shows how to iteratively debug prompts the way you would debug code. Lessons include building prompts from scratch for common tasks like extraction, classification, transformation, and step-by-step reasoning, with checkpoints that let you compare your outputs against solid baselines. You’ll also practice advanced patterns such as tool use, constrained generation, and response validation so outputs are trustworthy and machine-consumable. -
21
JavaScript Questions
A long list of (advanced) JavaScript questions, and their explanations
...It covers tricky corners—hoisting, closures, coercion, event loop, prototypes, this binding, async/await, and more—through short prompts followed by illuminating answers. Explanations often include runnable snippets and step-through reasoning so you can replicate results locally. The content is curated to sharpen mental models rather than memorize trivia, making it valuable for interviews and day-to-day debugging alike. Because questions range from beginner to advanced, you can use it as a progressive study set or a quick refresher before assessments. It’s equally helpful for mentors: the questions can anchor study groups, workshops, or code-review discussions. -
22
Metatheory.jl
General purpose algebraic metaprogramming
Metatheory.jl is a general purpose term rewriting, metaprogramming and algebraic computation library for the Julia programming language, designed to take advantage of the powerful reflection capabilities to bridge the gap between symbolic mathematics, abstract interpretation, equational reasoning, optimization, composable compiler transforms, and advanced homoiconic pattern matching features. The core features of Metatheory.jl are a powerful rewrite rule definition language, a vast library of functional combinators for classical term rewriting and an e-graph rewriting, a fresh approach to term rewriting achieved through an equality saturation algorithm. ... -
23
Spring Hand Penetration Column
Aims to learn Spring source code and understand principles of Spring
...The project is especially useful for Java developers who find the full Spring source code too large or difficult to approach directly. It also connects implementation details with design patterns and architectural reasoning. -
24
Learning Prompt
Free prompt engineering online course
Learning-Prompt is a curated repository of prompts, techniques, and instructional patterns designed to help people construct better prompts for AI systems, including generation, reasoning, and debugging tasks. It collects examples of effective prompt formats, chains of thought, strategy scaffolds, and comparative methods that help yield consistent, high-quality results. The project also includes meta-guidance: reflections on prompt failures, tips for prompt tuning, ways to mitigate model bias or misinterpretation, and how to adapt prompts for different AI capabilities. ... -
25
Guide to Technical Interviews
Guided collection and roadmap for preparing technical interviews
...The README breaks down preparation into categories — coding problems, system design, mock interview sites — so you can identify gap areas and allocate study time accordingly. Because interviews blend knowledge, strategy and habits (e.g., whiteboarding, communication, trade-off reasoning), the repository also emphasizes preparation workflows rather than just raw practice. It is therefore, an excellent companion for developers who have the technical skill and now need to convert it into interview readiness.