🤔 A grounder and solver for logic programs.
-
Updated
Jun 19, 2025 - C++
#
Declarative programming
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 227 public repositories matching this topic...
A declarative programming framework
rules clojure clojurescript functional-reactive-programming logic-programming functional-relational-programming declarative-programming
-
Updated
Dec 6, 2022 - Clojure
🏹 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
-
Updated
Oct 9, 2022 - Swift
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
-
Updated
Jun 24, 2025 - Go
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
-
Updated
Dec 15, 2023 - Haskell
Logtalk - declarative object-oriented logic programming language
-
Updated
Jun 6, 2025 - Prolog
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
-
Updated
Jul 4, 2025 - Elm
Declarative concurrency and stream processing library for Scala
functional-programming concurrency stream-processing type-safety session-types declarative-programming linear-types expressiveness resource-safety
-
Updated
Jun 29, 2025 - Scala
Declarative form validator for SwiftUI.
macos swift ios apple validation tvos cocoapods carthage form declarative-ui swiftpm declarative-programming swiftui
-
Updated
Apr 22, 2025 - Swift
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
-
Updated
Nov 11, 2024 - HTML
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
-
Updated
May 14, 2025 - C#
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...
react typescript state-management frontend material-ui declarative standalone form-validation layout-engine intellisense form-builder mui grid-system declarative-programming layout-grid json-endpoint nested-grids code-autocomplete
-
Updated
Jun 3, 2025 - TypeScript
Declarative data-fetching and caching framework for REST APIs with React
-
Updated
Apr 21, 2025 - JavaScript
A declarative way to control LLMs.
ai deep-learning ai-agents declarative-programming ai-agent llm llm-agent llm-inference ai-agents-framework aiagent llm-agents aiagents ai-agent-framework
-
Updated
Jan 2, 2025 - Python
Rule based CRUD Database Frontends for SwiftUI
-
Updated
Dec 9, 2024 - Swift
Datalog that's as easy as ABC.
-
Updated
May 18, 2025 - Java
Dynamic, Rule based @EnvironmentKeys for SwiftUI
-
Updated
Sep 20, 2019 - Swift
🐤🐧🐓🦆 A declarative and highly modular AI Agent Framework 🐤🐧🐓 JOIN THE FLOCK
-
Updated
Jul 3, 2025 - Python
A declarative syntax for the Composition API in Vue 3.
-
Updated
May 1, 2024 - TypeScript
A programming language supporting most of both declarative and imperative programming
-
Updated
Apr 24, 2025 - Haskell
- Followers
- 10 followers
- Website
- github.com/topics/declarative-programming