Search Results for "logic programming"
Sort By:
Showing 203 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.
-
Cloud-based help desk software with ServoDeskWhat if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.
-
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
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. -
3
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. -
4
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. -
Keep company data safe with Chrome EnterpriseMake AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
-
5
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. -
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
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. -
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
Default composer
JavaScript library to set default values for nested objects
..."default-composer" is a JavaScript library that allows you to set default values for nested objects. The library replaces empty strings/arrays/objects, null, or undefined values in an existing object with the defined default values, which helps simplify programming logic and reduce the amount of code needed to set default values. To use "default-composer", simply import the library and call the defaultComposer() function with the default values object and the original object that you want to set default values for. -
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
10
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. ... -
11
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.... -
12
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. -
13
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. -
14
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. -
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
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. ... -
17
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. -
18
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... -
19
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. -
20
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... -
21
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. ... -
22
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... -
23
PostgREST
REST API for any Postgres database
PostgREST is a standalone web server that turns your PostgreSQL database directly into a RESTful API. The structural constraints and permissions in the database determine the API endpoints and operations. Using PostgREST is an alternative to manual CRUD programming. Custom API servers suffer problems. Writing business logic often duplicates, ignores or hobbles database structure. Object-relational mapping is a leaky abstraction leading to slow imperative code. The PostgREST philosophy establishes a single declarative source of truth: the data itself. It’s easier to ask PostgreSQL to join data for you and let its query planner figure out the details than to loop through rows yourself. ... -
24
Micronaut
Micronaut Application Framework
Micronaut is a modern, JVM-based, full-stack Java framework designed for building modular, easily testable JVM applications with support for Java, Kotlin, and the Groovy language. Micronaut is developed by the creators of the Grails framework and takes inspiration from lessons learned over the years building real-world applications from monoliths to microservices using Spring, Spring Boot, and Grails. Micronaut aims to provide all the tools necessary to build JVM applications. With Micronaut... -
25
NSync
nsync is a C library that exports various synchronization primitives
nsync is a portable C library that provides a collection of advanced synchronization primitives designed to facilitate safe and efficient multithreaded programming. It offers reader-writer locks, condition variables, run-once initialization, waitable counters, and waitable bits for coordination and cancellation between threads. Unlike traditional pthreads-based synchronization, nsync introduces conditional critical sections, allowing developers to wait for arbitrary conditions without explicit signaling or complex loop-based logic. ...
