Search Results for "logic programming"
Sort By:
31 projects for "logic programming" with 2 filters applied:
-
Component Content Management System for Software DocumentationPaligo is an end-to-end Component Content Management System (CCMS) solution for technical documentation, policies and procedures, knowledge management, and more.
-
Easy-to-Use Website Accessibility WidgetAll in One Accessibility is an AI based accessibility tool that helps organizations to enhance the accessibility and usability of websites quickly.
-
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. ... -
Regpack: All-in-One Online Registration and Payment SoftwareRegpack is a powerful onboarding, registration, and payments platform trusted by thousands of organizations worldwide. Our mission is simple: to give you the tools to automate busywork, streamline your processes, and keep your focus where it belongs, on growing your programs and serving your clients.
-
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
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. -
8
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. -
9
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. ... -
Cortex: Boost Developer Coding SkillsCortex is a simple portal that helps developers work smarter by linking all your tools, setting clear rules, and slashing repetitive tasks. It speeds up onboarding, updates old code, and fixes issues fast. Over 100 big companies use it to save time and get better results.
-
10
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. ... -
11
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,... -
12
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. -
13
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. ... -
14
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. -
15
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver. -
16
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
17
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... -
18
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
-
19
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. -
20
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. -
21
GLORIA
a reasoning engine for agents and games
This project is about implementing a logic-programming based, reasoning engine for an agent. We started with an implementation of the iff-proof procedures, by Kowalski and Fung, as an any-time algorithm written in Prolog. -
22
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. -
23
NaruGo is game AI project. Current targets are GO board game and Texas Holdem poker. It investigates Genetic programming to build game AI logic. Also EA/GP simulations for TSP, Graph layout and Prisoners Dilemma problem.
-
24
Spock is a prototype tool for debugging logic programs under the answer-set semantics. It provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.
-
25
Fi-shell is a front-end to your system shell. It provides nonblocking i/o (concurrency) and pattern maching that is both easy to remember and readable (logic programming)
