Declarative programming

Star

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.

Here are 247 public repositories matching this topic...

Language:All

Filter by language

All247 JavaScript33 Swift25 Prolog24 Python24 TypeScript24 Java19 Haskell17 Dart8 C++7 C#6

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

potassco /clingo

Star751

🦉 A grounder and solver for logic programs.

logic-programming answer-set-programming declarative-programming

UpdatedFeb 20, 2026
C++

CoNarrative /precept

Star663

A declarative programming framework

rules clojure clojurescript functional-reactive-programming logic-programming functional-relational-programming declarative-programming

UpdatedDec 6, 2022
Clojure

bow-swift /bow

Star659

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

swift swift-library functional-programming cocoapods carthage composition effects fp reactive-programming monad functor category-theory free-monad bow spm hacktoberfest mtl tagless-final declarative-programming

UpdatedOct 9, 2022
Swift

thma /WhyHaskellMatters

Star479

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.

monads haskell functional-programming mapping pattern-matching anonymous-functions algebraic-data-types functor higher-order-functions polymorphic-types lazy-evaluation folding function-composition foldable list-comprehension type-classes declarative-programming partial-application first-class-functions explicit-side-effects

UpdatedDec 15, 2023
Haskell

LogtalkDotOrg /logtalk3

Star475

Logtalk - declarative object-oriented logic programming language

oop prolog logic-programming declarative-language logtalk declarative-programming

UpdatedFeb 21, 2026
Prolog

pine-vm /pine

Star252

Cross-platform runtime environment for the Elm programming language.

database backend functional-programming runtime elm virtual-machine modeling dbms event-sourcing full-stack business-logic declarative-programming

UpdatedFeb 20, 2026
C#

TomasMikula /libretto

Sponsor

Star215

Declarative concurrency and stream processing library for Scala

functional-programming concurrency stream-processing type-safety session-types declarative-programming linear-types expressiveness resource-safety

UpdatedFeb 13, 2026
Scala

octopus2023-inc /gensphere

Star130

Declarative framework to build LLM-based applications

python open-source platform artificial-intelligence agents declarative-programming llms ai-agents-framework agentic-framework agentic-workflow agentic-ai-development text-to-agent agents-from-prompts

UpdatedNov 11, 2024
HTML

Open-Bytes /SwiftUIFormValidator

Star122

Declarative form validator for SwiftUI.

macos swift ios apple validation tvos cocoapods carthage form declarative-ui swiftpm declarative-programming swiftui

UpdatedApr 22, 2025
Swift

IgorBuchelnikov /ObservableComputations

Star118

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

linq functional functional-programming observable declarative reactive-programming reactive-extensions functional-reactive-programming dataflow rx continuous bind hacktoberfest inotifypropertychanged dynamic-data rx-observable reactive-collections declarative-programming observablecollection inotifycollectionchanged

UpdatedMay 14, 2025
C#

react-declarative /react-declarative

Star89

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...