Search Results for "reasoning"
Sort By:
Showing 16 open source projects for "reasoning"
View related business solutions-
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.
-
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.
-
1
CodexMonitor
An app to monitor the (Codex) situation
...It offers developers a unified workspace dashboard with features like project workspaces, thread management, and agent orchestration, letting users spawn and track multiple Codex agent sessions across local repositories. The interface complements direct interactions with the agents by integrating things like file trees, prompt libraries, reasoning logs, and CLI session panels, making it easier to manage long-running dialogues and context switches without leaving the app. In addition to conversation views, CodexMonitor includes tools for Git and GitHub integration—including diffs, logs, and pull request management—so code inspection and review workflows can be coordinated alongside agent interaction. -
2
Memory OS
A 7-layer memory operating system for Hermes Agent
Memory OS is a local memory operating system for Hermes Agent. It is designed to help an AI agent retain project context, decisions, structured facts, reasoning patterns, and prior conversations across sessions. The system uses seven memory layers that combine flat files, SQLite, full-text search, structured facts, semantic recall, Qdrant vector storage, and a self-curating wiki pipeline. It injects only relevant context back into the agent so memory remains useful without wasting tokens. ... -
3
OpenClaw Opik Observability Plugin
Official plugin for OpenClaw that exports agent traces to Opik
...This allows developers to inspect inputs, outputs, token usage, latency, and execution flow across complex multi-step agent workflows. The goal of the project is to provide transparency into the internal reasoning and operational pipeline of agent systems so developers can diagnose failures, control costs, and improve reliability. -
4
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. -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
EulerSharp
Euler Yet another proof Engine
EYE [1] is a reasoning engine supporting the Semantic Web layers [2]. It performs controlled chaining and it supports Euler paths [3]. Via N3 [4] it is interoperable with Cwm [5]. [1] http://eulersharp.sourceforge.net/README [2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a [3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html [4] http://www.w3.org/TeamSubmission/n3/ [5] http://www.w3.org/2000/10/swap/doc/cwm -
6
MentDB Projects
Generalized Interoperability and Strong AI
...We eliminate data silos through a single, generalized data language. MentDB Strong (Strong AI / AGI): The framework for exploring and building Machine Consciousness, free will, and advanced ethical reasoning systems. Based on new-generation AI algorithms. -
7
Arduino garden PRS agent
A PRS agent designed to control our automated garden
This code implements a Procedural Reasoning System (PRS) agent for the control of our Arduino powered automated garden. -
8
Jadex is a Belief Desire Intention (BDI) reasoning engine that allows for programming intelligent software agents in XML and Java. The resoning engine is very flexible.
-
9
Madara
Middleware for distributed applications
...MADARA was originally developed as an agent-based middleware specifically for real-time, distributed artificial intelligence, but is now more general purpose for distributed timing, control, knowledge and reasoning, and quality-of-service. MADARA is composed of several tools and middleware, and the main entry point into the system is the Knowledge and Reasoning Language (KaRL) Engine, which provides a real-time scripting language for nanosecond execution times hooked into a flexible transport layer for distributed reasoning. The KaRL engine also supports object-oriented C++, Java, and Python programming through Containers, classes that provide abstractions and references for variable location within the KaRL Knowledge Base. ... -
$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
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. -
11
-
12
DisChoco
DisChoco: Distributed Constraint Reasoning Solver
DisChoco is a Distributed Constraint Reasoning Solver. Several Distributed Constraint Reasoning algorithms are implemented (like ABT, AFC, Adopt, ...). Users may easily implement and test their algorithms with DisChoco. contact: wahbi[at]users[dot]sourceforge[dot]net -
13
Linux for Beagleboard-xm
A Tailored Small Linux for Beagleboard-xm
...I was shocked by the blocking of Chinese citizens from accessing some of the contents on sourceforge. I deeply regret the outrageous action initiated, even though I fully understand the reasoning behind it. -
14
IdSay
IdSay is an Open Domain Question Answering System
...The answers are based on what is written in the texts explicitly. This means the system works according to a purely extractive Question Answering paradigm, in which no reasoning or deduction is used. Currently IdSay uses only the Portuguese language, but we intend to introduce other languages, for instance English, and to explore multilingual issues. -
15
Approximate Reasoning trades completeness and soundness for increasing speed. The focus of this project is to develop scalable reasoning techniques for OWL ontologies.
-
16
System developed by Autonomous Semantic Grid research group,SEECS,NUST H12,Islamabad,Pakistan www.seecs.edu.pk.The system is based on ProActive Grid Middleware,ProActive Scheduler,Reasoning system Participants:Dr FarooqAhmad,Dr RaihanurRasool,KamranQadir
- Previous
- You're on page 1
- Next