Search Results for "symbolic logic exploration"
Sort By:
Showing 37 open source projects for "symbolic logic exploration"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
1
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic... -
2
SuperPrompt
Experimental prompt framework exploring reasoning structures in AI
SuperPrompt is an experimental open source project focused on designing complex prompts intended to help researchers and developers better understand how AI agents reason and respond. It explores structured prompt engineering techniques that combine symbolic expressions, logical constructs, and conceptual frameworks to guide large language models toward deeper reasoning processes. Its main concept revolves around a highly structured prompt format that includes tagged sections for reasoning, analysis, conceptual expansion, and recursive thinking patterns. These sections act as a kind of meta-instruction system intended to influence how an AI model approaches problem solving and conceptual exploration. ... -
3
Mathematics Dataset
This dataset code generates mathematical question and answer pairs
The Mathematics Dataset, developed by Google DeepMind, is a synthetic dataset designed to evaluate and train machine learning models on mathematical reasoning and symbolic manipulation. It generates question-and-answer pairs across a wide range of mathematical topics typically found in school-level curricula, testing a model’s ability to reason about algebra, arithmetic, calculus, probability, and more. Each question is programmatically generated with structured templates to ensure clear logic and reproducibility. ... -
4
DeepSeek Math
Pushing the Limits of Mathematical Reasoning in Open Language Models
DeepSeek-Math is DeepSeek’s specialized model (or dataset + evaluation) focusing on mathematical reasoning, symbolic manipulation, proof steps, and advanced quantitative problem solving. The repository is likely to include fine-tuning routines or task datasets (e.g. MATH, GSM8K, ARB), demonstration notebooks, prompt templates, and evaluation results on math benchmarks. The goal is to push DeepSeek’s performance in domains that require rigorous symbolic steps, calculus, linear algebra, number... -
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
5
Poetiq
Reproduction of Poetiq's record-breaking submission to the ARC-AGI-1
...The project demonstrates a system that orchestrates large language models (LLMs) — like those from major providers — with carefully engineered prompting, reasoning workflows, and dynamic strategies, to tackle the abstract, logic-heavy problems in ARC-AGI. Instead of relying on a single prompt or fixed strategy, their solver dynamically adapts the reasoning path, selecting what to ask or analyze next depending on intermediate results — effectively compositing reasoning, perception, and program synthesis (or symbolic manipulation) in a loop. The repository allows others to reproduce their results, experiment with different LLM backends (e.g. the user may supply keys for supported models), and observe how their adaptive meta-system handles the logic and abstraction challenges. -
6
Mito
AI-powered Jupyter spreadsheet that converts workflows into Python
...Its spreadsheet layer supports familiar functions such as filters, pivot tables, and formulas, while automatically converting every action into production-ready Python code. This removes the need to manually translate spreadsheet logic into scripts. Mito also integrates with tools like Streamlit and Dash, enabling users to embed interactive spreadsheet functionality into apps with minimal setup. Built for analysts, developers, and teams, it simplifies automation, reduces repetitive tasks, and accelerates the transition from data exploration to reusable code. -
7
Rill
Fast SQL-based BI tool for real-time dashboards and analytics
...Interactive dashboards come with opinionated defaults, so teams can focus on insights instead of setup, while metrics layers standardize business logic for consistent reporting across dashboards, APIs, and AI systems. -
8
opensrc
Fetch source code for npm packages
OpenSrc is an open-source utility developed by Vercel Labs that retrieves and exposes the source code of npm packages so that AI coding agents can better understand how external libraries work. When large language models generate code, they often rely only on type definitions or documentation, which can limit their understanding of how a library actually behaves. OpenSrc addresses this limitation by allowing agents to fetch the underlying source code of dependencies and analyze their... -
9
GELab-Zero
GUI Exploration Lab. One of the best GUI agent solutions
GELab-Zero is an open-source “GUI Agent” framework aiming to automate interactions with graphical user interfaces (GUIs), combining both the agent model and all supporting infrastructure — including inference, input orchestration, and GUI automation logic — in a plug-and-play package that runs locally, without cloud dependencies. The idea is to let developers or users harness an AI agent that can simulate clicking, typing, reading UI elements, and interacting with apps in a human-like way... -
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.
-
10
Reduce.jl
Symbolic parser for Julia language term rewriting using REDUCE algebra
REDUCE is a portable general-purpose computer algebra system. It is a system for doing scalar, vector and matrix algebra by computer, which also supports arbitrary precision numerical approximation and interfaces to gnuplot to provide graphics. It can be used interactively for simple calculations (as illustrated in the screenshot below) but also provides a full programming language, with a syntax similar to other modern programming languages. REDUCE supports alternative user interfaces... -
11
grepai
Semantic Search & Call Graphs for AI Agents
grepai is a privacy-first, semantic code search CLI designed to replace traditional keyword-based search with meaning-aware queries, letting developers and code tools find relevant code by what it does rather than just text matches. It builds a semantic index of a project using vector embeddings, enabling natural language queries like “authentication logic” to return contextually relevant functions and modules even when naming differs dramatically, making code exploration far more intuitive. In addition to semantic search, grepai offers call graph tracing so developers can understand which functions call or are called by others, aiding impact analysis and confident refactoring. Because it runs 100 % locally, your codebase never leaves your machine, preserving privacy and security while supporting AI agents and custom integrations. -
12
HanoiVM
HanoiVM is a recursive, AI-augmented ternary virtual machine
🚀 HanoiVM — Recursive Ternary Virtual Machine **HanoiVM** is a recursive, AI-augmented **ternary virtual machine** built on a symbolic base-81 architecture. It is the execution core of the **Axion + T81Lang** ecosystem, enabling stack-tier promotion, symbolic AI opcodes, and entropy-aware transformations across three levels of logic: - 🔹 `T81`: 81-bit operand logic (register-like) - 🔸 `T243`: Symbolic BigInt + FSM state logic - 🔺 `T729`: Tensor-based AI macros with semantic dispatch Designed for research, language development, and future ternary hardware acceleration, **HanoiVM** is literate, modular, and fully recursive. -
13
Atheris
A Coverage-Guided, Native Python Fuzzer
...It supports structured input strategies and custom mutators, which is especially helpful for text and data formats common in Python workloads. In practice, Atheris compresses weeks of edge-case brainstorming into hours of automated exploration with actionable, minimized reproductions. -
14
The Pink Valley
Surreal psychological horror exploring memory, trauma, and isolation.
...The story unfolds indirectly through visual cues, sound design, and environmental details, allowing each player to form a personal understanding of the experience. THE PINK VALLEY 1.1 explores themes such as memory, trauma, loneliness, and inner conflict. The valley itself acts as a symbolic mental landscape shaped by suppressed emotions and fragmented thoughts. Instead of relying on comb -
15
Pry
A runtime developer console and IRB alternative
...Dropping binding.pry into application code creates interactive breakpoints, making it easy to poke at variables, step through logic (with plugins like pry-byebug), and test hypotheses. An extensible command system and a rich plugin ecosystem add profiling, colorized output, paging, and Git integration. In day-to-day development, Pry shortens the feedback loop and turns debugging into an exploratory, conversational workflow. -
16
Bend
A massively parallel, high-level programming language
...The tool lets you define variables, functions, or values at the prompt and iteratively refine them—immediately seeing output and types—while preserving state across commands. It emphasizes discoverability and experimentation: users can inspect functions, call them on sample inputs, and evolve logic without a full project scaffold. Because it’s embedded in a graphical or console interface, Bend aims to reduce the friction of switching between editor and runtime when prototyping or debugging ideas in Kotlin. It can also be extended with libraries or domain-specific tools, making it a flexible playground for domain scripting, education, or data exploration. -
17
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
18
Context Free Grammar Kit
Context-Free Grammar Interpreter
...RPG uses a clean, production-rule syntax to generate text recursively—ideal for poetry, stories, linguistics experiments, artificial languages, and procedural content. Built for speed, clarity, and creative flexibility, RPG supports nested rules, controlled randomness, variable binding, reusable modules, and symbolic expansions. It’s easy enough for newcomers to use in minutes but deep enough for advanced users to construct full recursive literature systems. RPG is part of a broader ecosystem of experimental text technologies developed by David Tolkacz, whose work explores recursive structure, self-modifying language, and the generative logic behind myth, prophecy, and symbolic literature (see works such as The Book of the Damned , The Devourer , and the extended Pantheon cycle). ... -
19
Octave Forge
A collection of packages providing extra functionality for GNU Octave
Octave Forge is a central location for collaborative development of packages for GNU Octave. The Octave Forge packages expand Octave's core functionality by providing field specific features via Octave's package system. See https://octave.sourceforge.io/packages.php for a list of all available packages. GNU Octave is a high-level interpreted language, primarily intended for numerical computations. It provides capabilities for the numerical solution of linear and nonlinear problems, and... -
20
SymbComp
Symbloic computation
SYMBCOMP is a research project (the outcome is unknown) and also a C++ library, hopes, in an a priori perspective of symbolic substitution, the knowledge of the property of mathematics and logic, including problem description, problem solving can be improved via computer programs. Executables are important but considered by-products, hope not too difficult to build from the library. SYMBCOMP是項研究計劃(不很清楚成果會是啥)也是個C++程式庫,目的是希望在符號代換的 先驗觀點下,藉由電腦程式 探討數學與邏輯的性質,包含問題描述法,解法...等. ... -
21
Manticore
Symbolic execution tool
Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries. Parts of Manticore underpinned our symbolic execution capabilities in the Cyber Grand Challenge. As an open-source tool, we hope that others can take advantage of these capabilities in their own projects. We prioritized simplicity and usability while building Manticore. We used minimal external dependencies and our API should look familiar to anyone with exploitation or... -
22
appcrawler
Automated mobile app crawler and testing tool built on Appium
...Built on top of the Appium automation framework, it systematically crawls through application screens and performs actions such as clicking buttons, navigating menus, and interacting with UI elements to simulate user behavior. It is commonly used for automated functional testing, UI exploration, and detecting crashes or unexpected behaviors in mobile applications. AppCrawler works by traversing the interface structure of an application and executing predefined or dynamically discovered actions on clickable components. Its behavior can be customized using configuration files that define traversal rules, element selection logic, and specific actions triggered by conditions encountered during testing. ... -
23
Diff Zoo
Differentiation for Hackers
Diff-zoo is a learning-focused handbook designed to demystify algorithmic differentiation (AD), the core technique powering modern machine learning frameworks. The project introduces AD from a foundational calculus perspective and gradually builds towards toy implementations that resemble systems like PyTorch and TensorFlow. It clarifies the differences and connections between forward mode, reverse mode, symbolic, numeric, tracing, and source transformation approaches to differentiation.... -
24
FRDCSA
Formalized Research Database: Cluster, Study and Apply
We are creating a large repository of FLOSS AI software that solves problems which affect people through the Free Life Planner and FRDCSA projects. We are making OS packages for external and internal software that employ symbolic AI (Prolog/OpenCYC/etc) and connectionist AI (ML/DL/NN), to solve computational problems. Our goal is to use logic to solve planning problems - to treat the world as a "game" and then win that game by proving that bad things don't happen to people. https://github.com/aindilis/flp/blob/main/ReferenceManual.md https://github.com/aindilis/flp/ https://altruisticsoftware.org/frdcsa/ https://app.vagrantup.com/aindilis/ https://frdcsa.org/~andrewdo/ https://facebook.com/frdcsa/ https://github.com/aindilis/ https://github.com/aindilis/frdcsa-installer/ https://github.com/aindilis/frdcsa-panoply-git-20200329/ https://frdcsa.org/~andrewdo/writings/benefits-of-making-packages.html https://frdcsa.org/~andrewdo/ontolog-20220410-reduced.mp4 -
25
gofuzz
Fuzz testing for go
gofuzz is a lightweight fuzzing utility for Go that rapidly generates randomized, edge-case-heavy inputs to populate structs, maps, slices, and scalar fields. It’s engineered to make property tests productive by automatically traversing nested types and supplying varied values, including zero values, extremes, and random strings or byte sequences. Because it respects Go’s type system, it can generate valid shapes for complex generic or composite types with very little setup. Users can...
