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 228 public repositories matching this topic...

Language:All

Filter by language

All228 JavaScript31 Prolog23 Swift23 TypeScript22 Java19 Python18 Haskell15 Dart9 C++6 C#5

Sort:Most stars

Sort options

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

potassco /clingo

Star678

🦉 A grounder and solver for logic programs.

logic-programming answer-set-programming declarative-programming

UpdatedJul 18, 2025
C++

CoNarrative /precept

Star661

A declarative programming framework

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

UpdatedDec 6, 2022
Clojure

bow-swift /bow

Star654

🏹 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

hofstadter-io /hof

Star557

Framework that joins data models, schemas, code generation, and a task engine. Language and technology agnostic.

code-generator workflow-engine tui cue data-modeling hacktoberfest declarative-programming hofstadter migrations-generator cuelang llm

UpdatedJun 24, 2025
Go

thma /WhyHaskellMatters

Star471

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

Star456

Logtalk - declarative object-oriented logic programming language

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

UpdatedJul 16, 2025
Prolog

pine-vm /pine

Star242

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

UpdatedJul 14, 2025
Elm

TomasMikula /libretto

Sponsor

Star212

Declarative concurrency and stream processing library for Scala

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

UpdatedJun 29, 2025
Scala

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

octopus2023-inc /gensphere

Star120

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

IgorBuchelnikov /ObservableComputations

Star116

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

Star83

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