Search Results for "logic programming"
Sort By:
55 projects for "logic programming" with 2 filters applied:
-
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.
-
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
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
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. -
3
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. -
4
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. -
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.
-
5
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. -
6
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. ... -
7
Refined
Refinement types for Scala
Refined is a Scala library that enhances types with compile-time constraints using predicate-style refinement types. It allows embedding validation logic into types like Refined[Int, Positive], ensuring invalid values are rejected at compile or runtime, thereby increasing safety and reducing boilerplate in domain modeling. -
8
Brick
A declarative Unix terminal UI library written in Haskell
Brick is a Haskell terminal user interface (TUI) programming toolkit that enables developers to build rich, responsive terminal applications via a declarative model: you define a pure function that renders the UI from application state and supply state transition logic to handle events. brick exposes a declarative API. Unlike most GUI toolkits which require you to write a long and tedious sequence of widget creations and layout setup, brick just requires you to describe your interface using a set of declarative layout combinators. ... -
9
Basic Computer Games
An updated version of the classic "Basic Computer Games" book
Basic Computer Games is a modern revitalization of the classic “Basic Computer Games” book’s collection of games, ported and expanded into various modern, memory-safe and scripting languages. It includes illustrative code examples of many classic games (e.g. Blackjack, Bowling) in multiple languages, with the goal of making the historical games accessible and educational in safe modern environments. Definitely use the most recent versions and features of the target language, but also try to... -
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.
-
10
Underscore.js
JavaScript's utility belt
Underscore.js is a JavaScript utility-library created by Jeremy Ashkenas that provides a broad set of functions for working with arrays, objects, functions, and other data types — essentially a “utility belt” for functional programming in JS. Instead of extending built-in objects or modifying prototypes, Underscore provides its helpers in a single _ namespace, enabling cross-browser support and consistent behaviour across environments. It offers map/filter/reduce, deep-cloning, templating, object traversal, function binding, and more, which makes it easier to write concise, expressive code rather than verbose loops and conditional logic. -
11
type-fest
A collection of essential TypeScript types
...It provides types like Except, Merge, LiteralUnion, Writable, Promisable, PartialDeep, JsonObject, and many others that solve everyday typing needs in complex TypeScript codebases. Developers pull in just the types they need, which makes code more expressive and safer without reinventing tricky type logic. Because many of the types in type-fest are things “that should have been built-in,” it’s widely adopted across TypeScript projects that need more advanced static typing capabilities. The package is modular, well documented, and regularly maintained to stay compatible with evolving TypeScript versions and features. It plays a central role in type-heavy codebases (frameworks, utilities, libraries) by reducing repetition and giving reliable tools for type-level programming. -
12
RxDart
The Reactive Extensions for Dart
RxDart is a reactive programming toolkit that augments Dart’s native Streams with a rich set of Rx-style operators and subjects. It offers composition primitives like map, where, debounce, throttle, merge, combineLatest, and switchMap, enabling expressive pipelines for events and async data. Subjects provide multicast behaviors so multiple listeners can share a single data source while maintaining semantics like replaying the latest value. By emphasizing immutability and one-way data flow,... -
13
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. -
14
Smallchat
A minimal programming example for a chat server
Smallchat is a minimalistic chat server implemented in C, designed as a small-scale example (for didactic purposes) of writing system software such as network servers, multiplexed I/O and client state handling. The project shows how you can build a working chat server (accepting clients, broadcasting messages) in very few lines of C, without heavy libraries or frameworks—essentially minimal code, minimal dependencies, and minimal feature-set to illustrate the core concepts. It uses the... -
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
Nano JSON
Lightweight, facility, high performance golang based game server
Nano is an easy-to-use, fast, lightweight game server networking library for Go. It provides a core network architecture and a series of tools and libraries that can help developers eliminate boring duplicate work for common underlying logic. The goal of nano is to improve development efficiency by eliminating the need to spend time on repetitious network-related programming. Nano was designed for server-side applications like real-time games, social games, mobile games, etc of all sizes. In fact, the nano application is a collection of Components, and a component is a bundle of handlers, once you register a component to nano, nano will register all methods that can be converted to Handler to nano service container. -
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
OK
Welcome to the future of programming languages
OK? is a modern, dynamically typed programming language created with a strong opinion: to remove needless complexity and help programmers write code that matters. It eliminates many common language features (e.g., ternary operators) in favour of a consistent, minimal syntax: for example it uses only switch statements for control flow and has only one comparison operator. OK? -
20
Restbed
Restbed framework brings asynchronous RESTful functionality
Restbed is a comprehensive and consistent programming model for building applications that require seamless and secure communication over HTTP, with the ability to model a range of business processes, designed to target mobile, tablet, desktop and embedded production environments. Server-Sent Events enable efficient server-to-client streaming of text-based event data—e.g., real-time notifications or updates generated on the server. A technique allowing multiple HTTP requests to be sent on a... -
21
NATS HTTP Round Tripper
This is a Golang http.RoundTripper that uses NATS as a transport
...It can be an effective bridge for teams migrating from synchronous REST calls to a message-driven fabric without rewriting every call site. Because the transport is swappable, it promotes clean separation between business logic and the underlying network. The result is an incremental pathway to evented architectures with the ergonomics of conventional request/response programming. -
22
atto
Friendly little parsers
Atto is a compact, pure-functional, incremental text parsing library for Scala. It offers a non-invasive API using familiar abstractions, making it a principled tool for everyday parsing tasks in functional programming. -
23
s(ASP)
Implements the stable model semantics without grounding.
s(ASP) is an implementation of the stable model semantics of logic programming. Unlike similar systems, it does not employ any form of grounding. This allows s(ASP) to execute programs that are not finitely groundable, including those which make use of lists and terms. Work on s(ASP) is supported by the National Science Foundation under Grant No. 1423419. Details of how s(ASP) works can be found in the following paper: Marple, Kyle, Elmer Salazar, and Gopal Gupta. ... -
24
glint
A tool for finite state machine analysis and synthesis.
glint is a tool facilitating you in development of state-oriented control entities which supposed to be used in very broad areas of programming (e.g. state-oriented network protocols). glint saves you from pondering how your finite state machine should be organized, how many states it should have and what they should mean. You just tell glint how you would like your control entity to operate and glint returns to you the synthesised magic black box which implements the desired logic. ... -
25
S-MVP
Optimized version of MVP, using annotation generics to simplify code
Optimized version of MVP, using annotation generics to simplify code writing, using modular protocols to facilitate maintenance, APT process uses annotation parser to use JavaPoet. Complete the writing of repetitive modules, use ASpect+GradlePlugin to complete horizontal AOP programming+Javassist dynamic bytecode injection+Tinker to achieve hot repair+Retrofit to achieve elegant network operations+RxJava to easily play with data processing. In MVP, Presenter completely separates Model and View, and the main program logic is implemented in Presenter. Moreover, the Presenter is not directly related to the specific View, but interacts through the defined interface (we only need to pass parameters according to the interface when testing alone), so that the Presenter can be kept unchanged when changing the View. i.e. reuse! ...
