🤔 A grounder and solver for logic programs.
-
Updated
May 15, 2024 - C++
Declarative programming is a programming paradigm characterized by describing the target state (or even just the problem itself in some cases) as opposed to specifying the concrete steps needed to reach that target state. The specific steps usually then get generated automatically at Compile Time.
🤔 A grounder and solver for logic programs.
Framework that joins data models, schemas, code generation, and a task engine. Language and technology agnostic.
A declarative programming framework
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Logtalk - declarative object-oriented logic programming language
Declarative form validator for SwiftUI.
Cross-platform runtime environment for the Elm programming language.
Exekube is a framework for managing the whole lifecycle of Kubernetes-based projects as declarative code with Terraform and Helm
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.
Datalog that's as easy as ABC.
Cross-platform .NET library for computations whose arguments and results are objects that implement INotifyPropertyChanged and INotifyCollectionChanged (ObservableCollection) interfaces.
A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.
Film expert system based on logic rules. Created at the Univeristy as the project within Declarative Programming classes in 2015. The purpose of this project was to creat expert system in Prolog and improve understanding of declarative programming paradigm.
A programming language supporting most of both declarative and imperative programming
A declarative syntax for the Composition API in Vue 3.
Declarative concurrency and stream processing library for Scala
Functional programming course
A tiny 1kB zero dependency JavaScript utility that lets you write your conditional business logic in a declarative way (React like).
PILOTS (ProgrammIng Language for spatiO-Temporal data Streaming applications)
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.