Search Results for "logic programming"
Sort By:
Showing 205 open source projects for "logic programming"
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.
-
Free and Open Source HR SoftwareGive your HR team the tools they need to streamline administrative tasks, support employees, and make informed decisions with the OrangeHRM free and open source HR software.
-
1
core.logic
A logic programming library for Clojure & ClojureScript
core.logic brings logic programming to Clojure and ClojureScript through an implementation of miniKanren, enabling relational, constraint-based, and nominal logic programming. It allows complex reasoning and declarative problem-solving directly in Clojure. core.unify provides a la carte unification facilities that are not deeply tied into the operation of a logic engine. -
2
Totum MIT
Small-code database for non-programmers
Totum is a no-code/low-code platform for creating data-driven business apps and dashboards. It uses a spreadsheet-like interface to let users define logic, automate processes, and build complex forms and workflows without traditional programming. Totum-MIT is the open-source core of this system, designed for internal business tools and enterprise apps. -
3
Nox
Rust implementation of the Fluence network peer
Nox is a decentralized, serverless execution platform for running secure WebAssembly (Wasm) modules over the Fluence peer-to-peer network. It enables developers to build and deploy composable services without central servers, ensuring tamper-resistant logic and trustless computation. Nox is designed to support multi-peer coordination, decentralized app logic, and data privacy, using Fluence’s Aqua programming model. Ideal for Web3 developers, Nox provides the building blocks to run interoperable backends directly from the edge. -
4
Yampa
Functional Reactive Programming domain-specific language
Yampa is a Functional Reactive Programming (FRP) library for Haskell, specifically designed for modeling hybrid systems that involve both continuous and discrete time behaviors, such as games, simulations, robotics, and reactive systems. Based on the concept of signal functions, Yampa offers a declarative way to model time-varying values and their transformations, making it easier to manage complex time-based logic without resorting to imperative state management. -
Online database software to empower your business managementTeamDesk is the leading AI-Powered Low-Code platform for creating powerful and flexible web-based databases with no-coding. From small companies to large enterprises, from specific manufactures to vertical business integration, TeamDesk is scalable enough to grow with your business needs.
-
5
Flix
The Flix Programming Language
Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values. -
6
Spring Framework
Comprehensive programming and configuration model for modern apps
The Spring Framework provides a comprehensive programming and configuration model for modern Java-based enterprise applications, on any kind of deployment platform. A key element of Spring is infrastructural support at the application level: Spring focuses on the "plumbing" of enterprise applications so that teams can focus on application-level business logic, without unnecessary ties to specific deployment environments. -
7
Starlark in Go
Starlark in Go: the Starlark configuration language, implemented in Go
starlark-go is the official Go implementation of the Starlark programming language, a Python-like, dynamically typed configuration and scripting language originally developed for the Bazel build system. Starlark combines Python’s expressiveness and readability with deterministic execution, making it ideal for defining build configurations, scripting automation, and embedding domain-specific logic in applications. -
8
GDevelop
The game engine for everyone
GDevelop is an open-source, cross-platform game development software designed to make creating HTML5 and native games easy for everyone. Experts and novices alike can create their own games with GDevelop as it is fast and easy to learn, requiring no knowledge in a specific programming language. What makes GDevelop unique and so easy to use is its powerful and intuitive event-based system. Events are a powerful way to build up your game logic, without having to learn a programming language. GDevelop also features ready-made behaviors for your game objects, and allows you to create new behaviors through the easy to learn events. ... -
9
Blockly Games
Games for tomorrow's programmers
Blockly Games is a collection of educational games that teach core programming concepts using Google’s Blockly visual blocks. Each game introduces ideas like sequencing, loops, conditionals, functions, and variables through playful puzzles that gradually increase in difficulty. Under the hood, the block programs compile to JavaScript, giving learners a bridge from drag-and-drop logic to real code. The activities are self-contained and browser-based, requiring no installation, which makes them suitable for classrooms and workshops. ... -
Odoo Business ApplicationsOdoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few.
-
10
OpenQASM
Quantum assembly language for extended quantum circuits
OpenQASM is an imperative programming language designed for near-term quantum computing algorithms and applications. Quantum programs are described using the measurement-based quantum circuit model with support for classical feed-forward flow control based on measurement outcomes. OpenQASM presents a parameterized set of physical logic gates and concurrent real-time classical computations. -
11
SDK .NET
Temporal .NET SDK
Temporal is a distributed, scalable, durable, and highly available orchestration engine used to execute asynchronous, long-running business logic in a scalable and resilient way. "Temporal .NET SDK" is the framework for authoring workflows and activities using .NET programming languages. -
12
Laravel Doctrine ORM
A drop-in Doctrine ORM 2 implementation for Laravel 5+
Doctrine 2 is an object-relational mapper (ORM) for PHP that provides transparent persistence for PHP objects. It uses the Data Mapper pattern at the heart, aiming for a complete separation of your domain/business logic from the persistence in a relational database management system. The benefit of Doctrine for the programmer is the ability to focus on object-oriented business logic and worry about persistence only as a secondary problem. This doesn’t mean persistence is downplayed by Doctrine 2, however, it is our belief that there are considerable benefits for object-oriented programming if persistence and entities are kept separated. -
13
The Agda standard library
The Agda standard library
...While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group at Chalmers. Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. Some other loosely related languages are Coq, Epigram, Idris, and Lean. -
14
Software Design in Haskell
Software Design in Haskell
This repository accompanies a comprehensive guide to building large, maintainable Haskell systems, focusing on architecture, modularity, and practical design techniques. It presents patterns for separating pure domain logic from side effects, organizing code into layers and components that can be tested in isolation. Readers encounter multiple styles—MTL/typeclass constraints, tagless-final encodings, free and freer monads, ReaderT-style application environments—and learn when to apply each.... -
15
SoapUI
SoapUI is a free and open source cross-platform functional testing
...This is for developers and testers looking to accelerate their ability to deliver REST, SOAP, and GraphQL APIs. SoapUI Open Source is the simplest and easiest way to begin your API testing journey. APIs, or Application Programming Interfaces, have become the center of software development, connecting and transferring data and logic across disparate systems and applications. Luckily, testing them can greatly improve the efficiency of your testing strategy as a whole, helping you deliver software faster than ever. -
16
Tower Building Game
HTML5 Canvas Tower Building Game
...Because simple games often involve fewer dependencies and easier build processes than full-scale games, tower_game can be a good starting point for hobbyist developers, students learning programming or graphics, or for integration as a mini-game inside larger projects. Additionally, its open-source nature lets contributors fork and improve it. -
17
OpenAPI Specification (OAS)
Programming language-agnostic interface description for REST APIs
The OpenAPI Specification: a broadly adopted industry standard for describing modern APIs. The OpenAPI Specification (OAS) defines a standard, programming language-agnostic interface description for REST APIs, which allows both humans and computers to discover and understand the capabilities of a service without requiring access to source code, additional documentation, or inspection of network traffic. When properly defined via OpenAPI, a consumer can understand and interact with the remote service with a minimal amount of implementation logic. ... -
18
Iced
A cross-platform GUI library for Rust, inspired by Elm
Iced is a cross-platform, end-user-oriented GUI library for Rust, inspired by The Elm Architecture. It expects you to split user interfaces into four different concepts, which are: the state of your app; messages, which are user interactions or other meaningful events; view logic, which displays your state as widgets that can result in messages; and update logic, which offers a way to update your state and react to messages. Iced is very simple and easy to use, and is type-safe. It offers... -
19
Wasp
A programming language that understands what a web app is
Wasp (Web Application Specification Language) is a declarative DSL (domain-specific language) for developing, building and deploying modern full-stack web apps with less code. Concepts such as app, page, user, login, frontend, production, etc. are baked into the language, bringing a new level of expressiveness and allowing you to get more work done with fewer lines of code. While describing high-level features with Wasp, you still write the rest of your logic in your favorite technologies... -
20
Extism
The Universal Plug-in System. Extend anything with WebAssembly
...We've carefully designed it to be flexible, fitting into codebases of all shapes and sizes, but opinionated enough so that things Just Work™ the way they should. Extism's goal is to make all software programmable. You can use Extism in your codebase, regardless of the programming language. We support several environments through our official Host SDKs, and are adding more language support all the time. A plug-in system is software that enables your users or customers to add some logic into certain points in your application. You decide where this logic runs, and your users decide what the plug-in does. ... -
21
DBOS Transact PY
Lightweight Durable Python Workflows
dbos-transact-py is the Python counterpart to dbos-transact-ts, offering durable transactional programming with automatic state persistence in PostgreSQL. It simplifies building resilient and idempotent applications by enabling Python functions to retain their state, restart after failure, and guarantee consistency. It's designed for data-heavy and fault-intolerant use cases. -
22
Axon Framework
Framework for Evolutionary Message-Driven Microservices on the JVM
Axon provides a unified, productive way of developing Java applications that can evolve without significant refactoring from a monolith to Event-Driven microservices. Axon includes both a programming model as well as specialized infrastructure to provide enterprise-ready operational support for the programming model - especially for scaling and distributing mission-critical business applications. Axon is composed of the following concepts and products. Domain-Driven Design (DDD) defines many concepts and patterns that help design software effectively, in line with the business requirements. ... -
23
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... -
24
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... -
25
Plutus
The Plutus language implementation and tools
Plutus is the smart contract development framework for the Cardano blockchain, created using Haskell. It provides the core infrastructure for writing, testing, and deploying secure, deterministic smart contracts on the Cardano platform. Plutus includes a custom functional language (Plutus Core), a higher-level embedded DSL (Plutus Tx) for writing contracts in Haskell, and an off-chain infrastructure for managing interactions. It ensures strong correctness guarantees through formal...
