🦉 A grounder and solver for logic programs.

A declarative programming framework

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.

Logtalk - declarative object-oriented logic programming language

Cross-platform runtime environment for the Elm programming language.

Declarative concurrency and stream processing library for Scala

Declarative framework to build LLM-based applications

Declarative form validator for SwiftUI.

Cross-platform .NET library for computations whose arguments and results are objects that implement INotifyPropertyChanged and INotifyCollectionChanged (ObservableCollection) interfaces.

A React form builder which interacts with a JSON endpoint to generate nested 12-column grids with input fields and automatic state management in a declarative style. Endpoint is typed by TypeScript guards (IntelliSense available). This tool is based on material-ui components, so your application will look beautiful on any device...

🐤🐧 A declarative and highly modular Blackboard Multi Agent System 🐓 🦆

Declarative data-fetching and caching framework for REST APIs with React

A declarative way to control LLMs.

Rule based CRUD Database Frontends for SwiftUI

Datalog that's as easy as ABC.

A dynamic blog engine written in pure Prolog. Zero dependencies, built-in Markdown support, and a prolog HTTP server.

Dynamic, Rule based @EnvironmentKeys for SwiftUI

A declarative syntax for the Composition API in Vue 3.

A programming language supporting most of both declarative and imperative programming

Create an executable project (API and Admin App) from a database or natural language prompt with 1 command, customize with declarative rules and Python in your IDE, containerize and deploy.

A Swift library to easily read and write binary formatted data using a modern, declarative interface.

A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.

Exekube is a framework for managing the whole lifecycle of Kubernetes-based projects as declarative code with Terraform and Helm

A tiny 1kB zero dependency JavaScript utility that lets you write your conditional business logic in a declarative way (React like).

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

pattern matching in javascript & typescript made easy

My unofficial picat http://picat-lang.org/ repository

📐 Declarative UIKit in 10 lines of code.

The most advanced starter kit for CRM system build with Pocketbase. It includes Kanban board, JSON form layout engine, feature model support, field visibility flags, grid component with fulltext search and modal filters.