Search Results for "logical"
Sort By:
Showing 19 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.
-
Premier Construction SoftwareRated #1 Construction Accounting Software by Forbes Advisor in 2022 & 2023. Our modern SAAS solution is designed to meet the needs of General Contractors, Developers/Owners, Homebuilders & Specialty Contractors.
-
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
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. ... -
Repair-CRMAll-In-One Solution with an Online Booking portal for automating scheduling & dispatching to ditch paperwork and improve the productivity of your technicians!
-
5
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. ... -
6
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. ... -
7
Qwen Chat
An AI assistant for everyone, powered by the Qwen series models
...It excels at deep reasoning and cognitive tasks, helping users solve complex problems in math, science, coding, and more. The AI supports creative writing by generating narratives, characters, and plot ideas, blending imagination with logical coherence. Qwen Chat’s web search feature delivers fast, accurate, and real-time answers sourced from authoritative references. It can analyze and summarize large documents, extracting key insights and visualizing data for better decision-making. With multimodal understanding, Qwen Chat processes audio, images, and videos seamlessly within a single conversation. ... -
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
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. ... -
Fully managed relational database service for MySQL, PostgreSQL, and SQL ServerCloud SQL manages your databases so you don't have to, so your business can run without disruption. It automates all your backups, replication, patches, encryption, and storage capacity increases to give your applications the reliability, scalability, and security they need.
-
10
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). -
11
-
12
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. -
13
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).
-
14
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.
-
15
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.
-
16
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.
-
17
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.
-
18
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. ... -
19
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
