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

Language:All

Filter by language

All242 JavaScript32 Swift25 TypeScript24 Prolog23 Python23 Java19 Haskell15 Dart9 C#6 C++6

Sort:Most stars

Sort options

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

potassco /clingo

Star715

🦉 A grounder and solver for logic programs.

logic-programming answer-set-programming declarative-programming

UpdatedDec 15, 2025
C++

CoNarrative /precept

Star660

A declarative programming framework

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

UpdatedDec 6, 2022
Clojure

bow-swift /bow

Star657

🏹 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

Star569

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

UpdatedDec 18, 2025
Go

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

Star469

Logtalk - declarative object-oriented logic programming language

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

UpdatedDec 17, 2025
Prolog

pine-vm /pine

Star251

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

UpdatedDec 17, 2025
C#

TomasMikula /libretto

Sponsor

Star213

Declarative concurrency and stream processing library for Scala

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

UpdatedDec 16, 2025
Scala

octopus2023-inc /gensphere

Star129

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

Star121

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

Star88

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