Search Results for "reason"
Sort By:
Showing 459 open source projects for "reason"
View related business solutions-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
query-json
Faster, simpler and more portable implementation of `jq` in Reason
query-json is a faster, simpler, and more portable implementation of the jq language in Reason distributed as a dependency-free binary thanks to the OCaml compiler, and distributed to the web with js_of_ocaml. query-json allows you to write small programs to operate on top of json files with a concise syntax. Learn how to write a Programming Language with the OCaml stack using menhir and select with great error messages. -
2
Loki Mode
Multi-agent autonomous startup system for Claude Code
...By supporting multiple AI providers (like Claude Code, OpenAI Codex CLI, and Google Gemini CLI), loki-mode dynamically selects and spawns only the needed agents for a given project, optimizing computational resources and task throughput. Its Reason-Act-Reflect-Verify (RARV) cycle with self-verification loops emphasizes quality and resilience, automating end-to-end development lifecycles. -
3
Coconut
Training Large Language Model to Reason in a Continuous Latent Space
Coconut is the official PyTorch implementation of the research paper “Training Large Language Models to Reason in a Continuous Latent Space.” The framework introduces a novel method for enhancing large language models (LLMs) with continuous latent reasoning steps, enabling them to generate and refine reasoning chains within a learned latent space rather than relying solely on discrete symbolic reasoning. It supports training across multiple reasoning paradigms—including standard Chain-of-Thought (CoT), no-thought, and hybrid configurations—using configurable training stages and latent representations. ... -
4
remotefs
A client library to work with all file transfer protocols
...This is achieved through a trait called RemoteFs which exposes methods to operate on the remote file system. Currently, the library exposes a client for Sftp, Scp, Ftp and Aws-s3 as external libraries. You might be wondering, "why remotefs?" The first and foremost reason is to provide a generic interface over multiple protocols. For example, in termscp it allows the support of multiple protocols without any protocol-specific code. The second reason is that often, users just want a simple way to operate on a remote file system, however, they don't have the time to spend researching the ins and outs of each protocol. -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
5
Guzzle Promises
A library for PHP with synchronous support
...A promise represents the eventual result of an asynchronous operation. The primary way of interacting with a promise is through its then method, which registers callbacks to receive either a promise's eventual value or the reason why the promise cannot be fulfilled. Callbacks are registered with the then method by providing an optional $onFulfilled followed by an optional $onRejected function. Resolving a promise means that you either fulfill a promise with a value or reject a promise with a reason. Resolving a promises triggers callbacks registered with the promises's then method. ... -
6
StabilityMatrix
Multi-Platform Package Manager for Stable Diffusion
StabilityMatrix is a project that helps organize, evaluate, and compare generative AI models and their behavior across prompts, datasets, or configuration settings. It provides a framework to run experiments systematically—capturing inputs, model configurations, outputs, and metrics—so researchers and practitioners can reason about differences in quality, robustness, and failure modes. The repository often bundles tooling for automated prompt sweeping, scoring heuristics (such as diversity, coherence, or task-specific metrics), and visualization helpers to make comparisons interpretable. This approach is useful for model selection, prompt engineering, and benchmarking new checkpoints against baseline models under reproducible conditions. ... -
7
Bootstrap
HTML, CSS and JS framework for developing responsive websites and apps
Bootstrap is an HTML, CSS, and JS framework designed for developing responsive, mobile first projects on the web. It's one of the most popular front-end frameworks and for good reason: it simply makes web development faster and easier. People of all skill levels can create projects of all sizes with Bootstrap, and for all types of devices too. With Bootstrap, you get a host of nifty features such as precompiled CSS, impressive scalability, dozens of custom HTML and CSS components and more. -
8
Rufus
Utility to create bootable USB flash drives
...Rufus can come in handy when you need to simply format a USB drive, install an OS on a machine that lacks a CD/DVD-ROM drive, or when you need to boot an operating system temporarily without intentions of actually installing the media. This can be immensely useful while you're on the go or just need access to an OS for a temporary, isolated reason. The app can even be used to flash firmware to BIOS or other destinations by just using DOS. Even though Rufus is a tiny utility in comparison to other USB creation tools that can be rather bulky in size, it contends easily with the competition and creates bootable USB drives in record time! -
9
RIBs
Uber's cross-platform mobile architecture framework
...Build cross-platform apps that have similar architecture, enabling iOS and Android teams to cross-review business logic code. Testability and Isolation. Classes must be easy to unit test and reason about in isolation. Individual RIB classes have distinct responsibilities like routing, business, view logic, creation. Plus, most RIB logic is decoupled from child RIB logic. This makes RIB classes easy to test and reason about independently. Tooling for developer productivity. RIBs come with IDE tooling around code generation, memory leak detection, static analysis and runtime integrations. -
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.
-
10
emuiibo
Virtual amiibo (amiibo emulation) system for Nintendo Switch
...A virtual amiibo is detected by emuiibo based on two aspects: a amiibo.json and a amiibo.flag file must exist inside the virtual amiibo's folder mentioned above. If (for whatever reason) you would like to disable a virtual amiibo from being recognised by emuiibo, just remove the flag file, and create it again to enable it. While old emuiibo formats are supported and converted to the current format (see above), it is strongly suggested to, unless bin dumps might be indispensable, emuiigen be used, our PC utility designed to create and edit virtual amiibos. -
11
Insomnia API Client
The open-source, cross-platform API client for GraphQL
Insomnia is an open-source, cross-platform API client for GraphQL, REST, and gRPC. Deliver high-quality APIs through standards and collaboration with the Insomnia API design platform. There is a reason developers love Insomnia. With our streamlined API client, you can quickly and easily send REST, SOAP, GraphQL, and GRPC requests directly within Insomnia. Accelerate your teams through spec-driven design-first API development. Catch issues earlier, centralize standards, and adopt an API workflow that works with your existing tools. ... -
12
LongBench
LongBench v2 and LongBench (ACL 25'&24')
LongBench is a comprehensive benchmark designed to evaluate the ability of large language models to understand and reason over very long textual contexts. Traditional language model benchmarks typically evaluate tasks involving relatively short inputs, which does not reflect many real-world applications such as analyzing large documents or entire code repositories. LongBench addresses this gap by providing datasets that require models to process and reason over long sequences of text across multiple tasks. ... -
13
ReCall
Learning to Reason with Search for LLMs via Reinforcement Learning
ReCall is an open-source framework designed to train and evaluate language models that can reason through complex problems by interacting with external tools. The project builds on earlier work focused on teaching models how to search for information during reasoning tasks and extends that idea to a broader system where models can call a variety of external tools such as APIs, databases, or computation engines. Instead of relying purely on static knowledge stored inside the model, ReCall allows the language model to dynamically decide when it should retrieve information or invoke external capabilities during the reasoning process. ... -
14
AGI
The first distributed AGI system
AGI project is an experimental framework focused on building components and infrastructure for artificial general intelligence systems, emphasizing modularity, autonomy, and scalable intelligence pipelines. It aims to provide a foundation for creating agents that can reason, plan, and execute tasks across diverse domains by integrating multiple AI capabilities into a unified system. The project typically explores concepts such as agent orchestration, memory systems, task decomposition, and decision-making loops, enabling the development of more generalized and adaptive AI behaviors. It is designed to be extensible, allowing developers to plug in different models, tools, and data sources to enhance agent performance. ... -
15
Keycastr
KeyCastr, an open-source keystroke visualizer
...On newer versions of macOS (10.15+) there is a new Input Monitoring menu under Security & Privacy within the System Preferences app, and KeyCastr will appear there automatically the first time you run it. Simply unlock this menu and check the box next to KeyCastr to enable it. On older versions of macOS, or if for some reason the app doesn't appear under the Input Monitoring menu (or if you want to pre-enable it) then you may manually add it to the list of apps in the Accessibility menu. If KeyCastr is already in the list, then click the, button and add KeyCastr again to be certain that the right application is chosen. Make sure to check the "Display all keystrokes" checkbox if you would like to display more than just the modifier keys. -
16
Fido
A PowerShell script to download Windows or UEFI Shell ISOs
...This script exists because, while Microsoft does make retail ISO download links freely and publicly available (at least for Windows 8 through Windows 11), up until recent releases, most of these links were only available after forcing users to jump through a lot of unwarranted hoops that created an exceedingly counterproductive, if not downright unfriendly, consumer experience, that greatly detracted from what people really want (direct access to ISO downloads). As to the reason one might want to download Windows retail ISOs, as opposed to the ISOs that are generated by Microsoft's own Media Creation Tool (MCT). -
17
Qwen3.5
Qwen3.5 is the large language model series developed by Qwen team
Qwen3.5 is part of Alibaba’s Qwen family of large language and multimodal foundation models, designed to power advanced AI applications such as chatbots, coding assistants, and autonomous agents. The project represents a significant step toward “agentic AI,” meaning models that can reason through multi-step tasks and interact with external tools or environments rather than only generating text. Qwen3.5 builds on earlier Qwen generations by improving multilingual understanding, reasoning ability, and efficiency, while also introducing native multimodal capabilities that allow the model to work with both language and visual inputs. ... -
18
Erigon
Ethereum implementation on the efficiency frontier
...Same true about: JSON RPC layer (RPCDaemon), p2p layer (Sentry), history download layer (Downloader), consensus. Don't start services as separated processes unless you have clear reason for it: resource limiting, scale, replace by your own implementation, security. How to start Erigon's services as separated processes, see in docker-compose.yml. -
19
Monty
A minimal, secure Python interpreter written in Rust for use by AI
...The project’s core goal is to enable code execution in environments where untrusted or model-produced code must be tightly sandboxed to reduce risk. Rather than offering a full “general-purpose Python runtime with everything enabled,” Monty is designed to be minimal and controlled, making it easier to reason about what code can do and what it cannot. It prioritizes guardrails like resource limits and restricted capabilities, which is especially useful for agentic workflows that need to execute small pieces of Python for data transforms, validation, or tool-like computations. Because it’s written in Rust, it’s positioned to deliver a compact, portable runtime that can be embedded into larger systems that need dependable isolation. -
20
EnvFile
EnvFile 3.x is a plugin for JetBrains IDEs
...Luckily, it was possible to make few assumptions about IDEA's internal implementation and make it work. Such integration is very fragile and it's not immediately clear if it will affect any existing integrations and when it will break. For that reason there is a special option to Enable Experimental Integrations that can be enabled when desired and should prevent other integrations from breaking. -
21
koka
Koka language compiler and interpreter
...Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished. The precise effect typing gives Koka rock-solid semantics backed by well-studied category theory, which makes Koka particularly easy to reason about for both humans and compilers. Effect handlers let you define advanced control abstractions, like exceptions, async/await, or probabilistic programs, as a user library in a typed and composable way. Perceus is an advanced compilation method for reference counting. -
22
Radarr
A fork of Sonarr to work with movies à la Couchpotato
Radarr makes failed downloads a thing of the past. Password-protected releases, missing repair blocks or virtually any other reason? no worries. Radarr will automatically blacklist the release and tries another one until it finds one that works. Ensure you get the right release every time! Custom Formats allow fine control over release prioritization and selection. As simple as a single preferred word or as complex as you want with multiple criteria and regex. -
23
System Prompts and Models of AI Tools
Full System Prompts, Internal Tools & AI Models
...The repository serves as a valuable resource for developers, researchers, and AI enthusiasts interested in understanding prompt engineering and agent behavior. By exposing these system-level instructions, it highlights how AI tools are designed to reason, act, and interact with users. It also emphasizes transparency and security awareness, especially around prompt leaks and vulnerabilities. Overall, it acts as a comprehensive knowledge base for studying and experimenting with real-world AI system prompts. -
24
LeetCode Book
Comprehensive study guide for coding interviews
...It organizes problems by topic—arrays, linked lists, stacks/queues, trees/graphs, dynamic programming, greedy, backtracking, and math—so you can study systematically. Explanations are concise but intentional, highlighting why a pattern fits, how to reason about boundary cases, and the time/space trade-offs. Many entries include template code and “swap-in” variations, helping you recognize how the same technique adapts across similar problems. The book also emphasizes problem-solving habits like deriving invariants, choosing appropriate data structures, and verifying with small counterexamples. ... -
25
Jinja
Ultra fast and expressive template engine
...It offers full unicode support, a sandboxed environment for safe executions, and so much more. Jinja is among the most widely used template engines for Python, and for good reason. It is both beautiful and powerful, and makes a template designer’s job a lot easier. Jinja is inspired by Django's templating system, but steps it up with an expressive language that results in more powerful tools, plus an automatic HTML escaping system for utmost security. Internally Jinja is based on Unicode and will run on a wide range of Python versions.
