Search Results for "reasoning"
Sort By:
27 projects for "reasoning" with 2 filters applied:
-
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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
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
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. -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
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
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. -
7
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. -
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
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. -
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
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. -
11
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. ... -
12
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. ... -
13
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. -
14
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... -
15
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. -
16
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. -
17
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. -
18
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. ... -
19
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. -
20
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. ... -
21
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. -
22
Solved by Flexbox
A showcase of problems once hard or impossible to solve with CSS
Solved by Flexbox is a collection of layout patterns that demonstrates how CSS Flexbox elegantly resolves classic web design problems. It tackles everyday challenges—vertical centering, equal-height columns, sticky footers, fluid media, and responsive grids—showing concise, production-ready CSS instead of elaborate hacks. Each pattern is presented with plain HTML, clear commentary, and minimal styling, making the underlying technique easy to adapt and extend. The project emphasizes... -
23
Design Patterns Written in Unity3D
All Gang of Four Design Patterns written in Unity C#
...The repository includes practical examples and code snippets that show how to structure game systems for scalability and maintainability. It emphasizes clean code practices and modular design, helping developers build more robust and reusable components. The project also explains the reasoning behind each pattern, making it educational as well as practical. By focusing on Unity-specific use cases, it addresses challenges unique to game development workflows. Overall, it provides a valuable reference for improving code quality in Unity projects. -
24
Video Nonlocal Net
Non-local Neural Networks for Video Classification
...Non-local blocks compute attention-like responses across all positions in space-time, allowing a feature at one frame and location to aggregate information from distant frames and regions. This formulation improves action recognition and spatiotemporal reasoning, especially for classes requiring context beyond short temporal windows. The repo provides training recipes and models for standard datasets, as well as ablations that show how many non-local blocks to insert and at which stages. Efficient implementations keep memory and compute manageable so the blocks can be added without rewriting the entire backbone. ... -
25
Sesame
Java RDF Framework
...It is succeeded by the Eclipse RDF4J project, which can be found at GitHub and at http://www.rdf4j.org/. Sesame is a de-facto standard framework for processing RDF data. This includes parsing, scalable storage, reasoning and full SPARQL 1.1 query/update support. Sesame offers a fully modular toolkit and an easy-to-use Java API that can be connected to all leading RDF storage solutions.