Search Results for "logic programming"
Sort By:
Showing 33 open source projects for "logic programming"
View related business solutions-
Skillfully - The future of skills based hiringSkillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
-
The Most Powerful Software Platform for EHSQ and ESG ManagementChoose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
-
1
python-small-examples
Focus on creating classic Python small examples and cases
...The repository includes examples covering topics such as file processing, JSON manipulation, data visualization, and library usage. The examples are intentionally short and easy to read, making them useful for beginners who want to understand Python syntax and programming logic step by step. The repository is organized as a large collection of small scripts and notes that can be browsed individually without needing to study a full project. -
2
Rivet
Visual AI IDE for building agents with prompt chains and graphs
Rivet is an open source visual AI programming environment designed to help developers build complex AI agents using a node-based interface and prompt chaining workflows. It provides a desktop application that allows users to visually construct and debug AI logic as interconnected graphs, making it easier to manage sophisticated interactions between language models and external tools. -
3
BAML
The AI framework that adds the engineering to prompt engineering
...This design allows developers to treat language model interactions as predictable software components rather than ad-hoc prompt strings. The framework enables developers to define prompt logic in a dedicated language while integrating it into applications written in various programming languages such as Python, TypeScript, Ruby, and Go. BAML also allows developers to specify which models are used for each prompt and how outputs should be validated or structured. By converting prompt engineering into a more formal programming workflow, the framework improves reliability, debugging, and maintainability of AI systems. -
4
AICGSecEval
A.S.E (AICGSecEval) is a repository-level AI-generated code security
AICGSecEval is an open-source benchmark framework designed to evaluate the security of code generated by artificial intelligence systems. The project was developed to address concerns that AI-assisted programming tools may produce insecure code containing vulnerabilities such as injection flaws or unsafe logic. The framework constructs evaluation tasks based on real-world software repositories and known vulnerability cases derived from CVE records. By simulating realistic development scenarios, the benchmark assesses how well AI code generation systems handle security-sensitive programming tasks. ... -
Award-Winning Medical Office Software Designed for Your SpecialtyRXNT is an ambulatory healthcare technology pioneer that empowers medical practices and healthcare organizations to succeed and scale through innovative, data-backed, AI-powered software.
-
5
Claude Code Architecture Study
Research on Coding Agents
Claude Code Architecture Study is an educational and experimental repository designed to teach developers how to build, configure, and understand AI coding agents from first principles. The project focuses on breaking down the architecture of agentic systems, including how models perceive context, make decisions, and execute actions in a coding environment. It likely provides step-by-step examples, conceptual explanations, and practical implementations that guide users through creating their... -
6
The Algorithms - C++ #
Collection of various algorithms in mathematics, machine learning
TheAlgorithms/C-Plus-Plus is a large open-source repository that collects implementations of many classic algorithms and data structures written in the C++ programming language. The project is part of the broader “The Algorithms” initiative, which maintains algorithm implementations in several programming languages to support education and knowledge sharing. Within the C++ repository, contributors implement algorithms across a wide range of fields including sorting, graph theory, number theory, machine learning, cryptography, and data structures. ... -
7
swark.io
Create architecture diagrams from code automatically using LLMs
...The tool integrates with GitHub Copilot and the VS Code environment, allowing developers to generate diagrams with minimal setup and without requiring additional authentication or API configuration. Because the logic of understanding code structure is handled by an LLM, Swark can support many programming languages and frameworks without requiring custom rules for each language. -
8
Activepieces
Open Source AI Automation
Activepieces is an open-source automation tool designed to build workflows that connect different apps and services without requiring extensive programming knowledge. It’s tailored for technical and non-technical users alike, enabling teams to automate repetitive tasks using a visual editor and a large library of pre-built connectors. Activepieces can be self-hosted or used via a cloud deployment, making it flexible for teams of all sizes. It supports integrations with popular services like... -
9
Eino
LLM application development framework for Go with agents and flows
...These orchestration features handle concerns such as concurrency, streaming responses, and type safety so developers can focus on application logic. -
AestheticsPro Medical Spa SoftwareAestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
-
10
IQuest-Coder-V1 Model Family
New family of code large language models (LLMs)
...These models range from tens of billions to smaller footprints and are trained on a novel code-flow multi-stage paradigm that captures how real software evolves over time — not just static code snapshots — giving them a deeper semantic understanding of programming logic. They support native long contexts up to 128K tokens, enabling them to reason across large codebases and multi-file interactions without context fragmentation, and include “Thinking” variants optimized for complex reasoning and “Loop” variants with recurrent mechanisms to improve inference efficiency. IQuest-Coder-V1 delivers state-of-the-art performance on multiple coding benchmarks, demonstrating strong results in competitive programming, tool use, and agentic code generation. -
11
ADK Go
Code-first Go toolkit for building, evaluating, and deploying AI agent
ADK-Go is an open source toolkit designed to help developers build, evaluate, and deploy sophisticated AI agents using the Go programming language. It is part of the Agent Development Kit ecosystem and follows a code-first approach that allows developers to define agent behavior, tools, and orchestration logic directly in Go code. ADK-Go applies traditional software engineering principles to agent development, making it easier to structure, test, and maintain complex agent-based systems. ... -
12
Byterover Cipher
Byterover Cipher is an opensource memory layer
...The system captures contextual information about codebases, past interactions, and reasoning steps generated by AI assistants so that agents can maintain long-term context while generating code. By storing structured knowledge about programming concepts, project logic, and previous development sessions, Cipher allows AI agents to operate with improved awareness of the software environment they are working within. The framework integrates with multiple AI coding tools and development environments through the Model Context Protocol, enabling seamless interoperability between different agents and IDEs. ... -
13
Embabel Agent Framework
Agent framework for the JVM. Pronounced Em-BAY-bel
Embabel Agent Framework is a JVM-based framework for building advanced AI agent systems that combine structured programming with large language model interactions to execute complex, goal-oriented workflows. The framework introduces a planning-driven approach where agents dynamically determine sequences of actions required to achieve objectives, rather than relying on fixed pipelines or predefined flows. It models agent behavior through concepts such as goals, actions, and conditions,... -
14
TypeAgent Python
Structured RAG: ingest, index, query
...Instead of relying solely on free-form prompts, the architecture emphasizes converting natural language interactions into structured representations that can be processed by deterministic software components. This design allows the system to combine the flexibility of language models with the reliability of traditional programming logic. The repository is intended primarily as a research prototype and sample code rather than a production-ready framework, allowing developers to experiment with building AI agents that maintain structured memory and perform tasks through defined actions. -
15
qxresearch-event-1
Python hands on tutorial with 50+ Python Application
qxresearch-event-1 is an open-source educational repository that provides a collection of lightweight Python applications designed to demonstrate programming concepts and artificial intelligence techniques in simple and accessible examples. The repository contains dozens of small programs, many implemented with minimal lines of code, covering topics such as machine learning, graphical user interfaces, computer vision, and API integration. Each example is designed to illustrate a single concept or application in a clear and concise manner so that learners can quickly understand the underlying logic. ... -
16
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. -
17
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
18
The Algorithms - C #
Collection of various algorithms in mathematics, machine learning
TheAlgorithms/C is an open-source repository that provides implementations of classic algorithms and data structures written in the C programming language. The project is part of the larger “The Algorithms” initiative, which aims to create educational resources by implementing algorithms in multiple programming languages. Within the C repository, contributors implement algorithms from many areas of computer science including sorting, searching, graph processing, mathematics, machine... -
19
Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io
-
20
Wechaty
Conversational RPA SDK for chatbot makers
...Wechaty support lots of popular instant messaging platforms. And you can write Wechaty in almost all popular programming languages. -
21
WarriorJS
JavaScript coding game where players program a warrior to win battles
...WarriorJS combines game mechanics with programming concepts, allowing players to experiment with logic, algorithms, and problem solving while progressing through increasingly difficult levels. WarriorJS can be played through a command line interface, enabling developers to interact with the game directly in a terminal environment. It is organized as a modular monorepo containing several packages that implement the core game engine. -
22
C++ Fuzzy Logic Programming Library - For problem solving in the fuzzy logic domain. It has an object oriented API well suited to C++ syntax for direct inclusion in source code. Portable to platforms that support the C++ STL.
-
23
Logic Lab
This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions. -
24
2OPL
2OPL is a norm programming language for agent organizations.
...Finally sanction rules can be programmed to respond to norm violations. The current implementation is based on logic programming (Prolog in particular). For those users who are not familiar with Prolog we advise the free ebook Learn Prolog Now (http://www.learnprolognow.org). The interpreter supports three different norm specifications. For more information see the documentation or mail one of the developers. -
25
LPIA
Programming language for artificial intelligence
LPIA is an interpreted symbolic functional language with multi-process capabilities and predefined pattern matching. It is inspired by combinatory logic, lambda calculus, Scheme and Forth. LPIA est un langage symbolique fonctionnel interprété avec des possibilités multi-processus et un filtrage prédéfini. Il est inspiré par la logique combinatoire, le lambda calcul, Scheme et Forth.
