Search Results for "logical"
Sort By:
Showing 22 open source projects for "logical"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
1
DeepSeekMath-V2
Towards self-verifiable mathematical reasoning
...Unlike general-purpose LLMs that might generate plausible-looking math but sometimes hallucinate or mishandle rigorous logic, Math-V2 is engineered to not only generate solutions but also self-verify them, meaning it examines the derivations, checks logical consistency, and flags or corrects mistakes, producing proofs + verification rather than just a final answer. Under the hood, Math-V2 uses a massive Mixture-of-Experts (MoE) architecture (activated parameter count reportedly in the hundreds of billions) derived from DeepSeek’s experimental base architecture. For math problems, it employs a generator-verifier loop: it first generates a candidate proof (or solution path), then runs a verifier that assesses correctness and completeness. -
2
GLM-4.6
Agentic, Reasoning, and Coding (ARC) foundation models
GLM-4.6 is the latest iteration of Zhipu AI’s foundation model, delivering significant advancements over GLM-4.5. It introduces an extended 200K token context window, enabling more sophisticated long-context reasoning and agentic workflows. The model achieves superior coding performance, excelling in benchmarks and practical coding assistants such as Claude Code, Cline, Roo Code, and Kilo Code. Its reasoning capabilities have been strengthened, including improved tool usage during inference... -
3
DeepSeek R1
Open-source, high-performance AI model with advanced reasoning
DeepSeek-R1 is an open-source large language model developed by DeepSeek, designed to excel in complex reasoning tasks across domains such as mathematics, coding, and language. DeepSeek R1 offers unrestricted access for both commercial and academic use. The model employs a Mixture of Experts (MoE) architecture, comprising 671 billion total parameters with 37 billion active parameters per token, and supports a context length of up to 128,000 tokens. DeepSeek-R1's training regimen uniquely... -
4
Agno
Lightweight framework for building Agents with memory, knowledge, etc.
Agno is a modular, open-source artificial general intelligence (AGI) research platform that allows developers to build, evaluate, and experiment with cognitive architectures in a composable way. It provides a flexible framework for modeling reasoning, memory, decision-making, and planning, aimed at long-term AI research beyond narrow learning. Agno embraces multi-agent environments and symbolic reasoning as part of its core design, enabling experiments with structured knowledge,... -
Automate contact and company data extractionGenerate leads at scale without building or maintaining scrapers. Use 10,000+ ready-made tools that handle authentication, pagination, and anti-bot protection. Pull data from business directories, social profiles, and public sources, then export to your CRM or database via API. Schedule recurring extractions, enrich existing datasets, and integrate with your workflows.
-
5
MCPHub
A unified hub for centralized management and dynamic organization
MCPHub is a unified hub that organizes many MCP servers behind clean Streamable HTTP (SSE) endpoints so clients can connect to “all tools,” a specific server, or logical groups. It’s designed to simplify multi-server operations: one process can multiplex several named STDIO servers and re-expose them over HTTP for IDEs and services. The README ships in multiple languages and includes deployment and routing guidance, signaling an intention to reach a broad user base. The project publishes to npm with frequent updates and provides a dashboard preview to help visualize connected servers. ... -
6
WrenAI
Open-source SQL AI Agent for Text-to-SQL. Make Text2SQL Easy
Wren AI is a SQL AI Agent for data teams to get results and insights faster by asking business questions without writing SQL, and it's open-source. Wren AI has implemented a semantic engine architecture to provide the LLM context of your business; you can easily establish a logical presentation layer on your data schema that helps LLM learn more about your business context. With Wren AI, you can process metadata, schema, terminology, data relationships, and the logic behind calculations and aggregations with “Modeling Definition Language”, to generate accurate SQL queries with semantic context. When starting a new conversation in Wren AI, your question is used to find the most relevant tables. ... -
7
Temporal Inference Engine
A real time inference engine for temporal logical specifications
A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software. ... -
8
EGO AGI
An inside-out cognitive engine based on autopoiesis and set theory
...This approach aligns with autopoiesis, where a self-organizing system's cognitions consist of operations aimed at maintaining its own organization in response to environmental pressures. EGO's operational domain is an object language we call the 'E-language'. Each well-formed formula of the E-language is both a set and a logical statement. This enables EGO to express in the E-language the set-theoretic relationships that constitute its organization and the operations it implements to preserve it. EGO's ability to self-program its operations and express its own organization makes it a contribution to the field of Artificial General Intelligence (AGI). -
9
SPM - Monitoring system
Monitoring Tool for your IT Environment
SPM Monitoring System - Complete Solution for Efficient Monitoring and Alerting SPM Monitoring System is an all-in-one monitoring solution for IT environments that offers comprehensive features to ensure high availability, stability, and optimal performance of your infrastructure. With SPM Monitoring Systems, you can monitor your network, servers, applications, and services with ease, and receive timely alerts when issues arise. Host Availability Monitoring. Agent-Based Monitoring:... -
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
10
ANGie
Alice Next Generation (internet entity)
...Wallace and the ALICE AI Foundation and the PyAIML code base written by Cort Stratton, the ANGie project incorporates additional AIML sets, adds its own AIML to the set, adds new AIML tags and additional code to provide more dynamic responses and more logical case-based-reasoning. Reading through most AIML sets it seems like the authors' intention was to have a response to every input that a bot has ever seen. The ANGie project strives to have intelligent and sensible responses, but to allow the bot to have no response when the meaning of the input is inconclusive, when additional context would be required to properly respond, or in general for questions for which the bot is unprepared - in order to create a bot that is capable of carrying on basic conversations with a human similar to the sort of small talk that two humans might have. ... -
11
logmap-matcher
LogMap: An Ontology Alignment and Alignment Repair System
...To the best of our knowledge, LogMap is one of the few matching systems that: 1. can efficiently match semantically rich ontologies containing tens (and even hundreds) of thousands of classes, 2. incorporates sophisticated reasoning and repair techniques to minimise the number of logical inconsistencies, and 3. provides support for user intervention during the matching process (see Web interface). -
12
-
13
A Disk Scheduling Simulator tool. With an intuitive GUI interface and command line functionality. Built using both VC and VB. Currently supports SSTF,LOOK,CLOOK,SCAN and CSCAN algorithms. Rotational latency is also optionally supported.
-
14
BayesianCortex
simple algorithm for a realtime interactive visual cortex for painting
...Bayesian nodes have exactly 3 childs because that is all thats needed to do NAND in a fuzzy way as Bayes' Rule which is NAND at certain extremes. NAND can be used to create any logical system. In this early version, I'm still working on edge detection and its understanding of the same shapes at different brightnesses. This will be a module of the bigger Human AI Net project and will be used for adding realtime intuitive high dimensional intelligence in audio and visual interactions with the user. -
15
BuddySpace is an enhanced Jabber client providing secure presence management, web services and instant messaging. It extends the 'buddy list' concept with enhanced and customisable visualisation of presence (incl. maps, logical layouts).
-
16
A knowledge base engine for Python built on F-Logic. It uses the FLORA-2 reasoning engine and provides permanent storage through ZODB. Logic programming concepts like logical variables, facts, rules and queries are included.
-
17
This project consists in a simulation software of robot A.I. It is aimed at comparing the efficiency of robot intelligence against movement tasks between fixed checkpoints in a logical world.
-
18
The horn++ library allows you to solve logical expressions in C++. The expressions must be transformed to horn clauses, which can be written as C++ expressions. The solver uses backtracking to find a solution for the logical problem.
-
19
Deduce is an artificial intelligence program which accepts natural language sentences as input, then allows the user to ask questions against that input. Deduce attempts to answer questions using logical deduction techniques.
-
20
Color Expansion is a logical game with network play support. Strong AI included - try it! Also this project is the home for the Color Expansion AI contest.
-
21
DeepSeek-V3.2-Speciale
High-compute ultra-reasoning model surpassing model surpassing GPT-5
DeepSeek-V3.2-Speciale is the high-compute, ultra-reasoning variant of DeepSeek-V3.2, designed specifically to push the boundaries of mathematical, logical, and algorithmic intelligence. It builds on the DeepSeek Sparse Attention (DSA) framework, delivering dramatically improved long-context efficiency while preserving full model quality. Unlike the standard version, Speciale is tuned exclusively for deep reasoning and therefore does not support tool-calling, focusing its full capacity on pure cognitive performance. ... -
22
Ministral 3 3B Reasoning 2512
Compact 3B-param multimodal model for efficient on-device reasoning
...It pairs a 3.4B-parameter language model with a 0.4B-parameter vision encoder, enabling it to understand both text and image inputs. This reasoning-tuned variant is optimized for tasks like math, coding, and other STEM-related problem solving, making it suitable for applications that require logical reasoning, analysis, or structured thinking. Despite its modest size, the model is designed for edge deployment and can run locally, fitting in ~16 GB of VRAM in BF16 or under 8 GB of RAM/VRAM when quantized. It supports dozens of languages, allowing it to function across global and multilingual contexts. The model retains strong system-prompt adherence, supports function-calling with structured JSON output, and offers a large 256k token context window for extended context reasoning.
- Previous
- You're on page 1
- Next
