declarative-programming

There are 200 repositories under declarative-programming topic.

CoNarrative/precept
A declarative programming framework
Language:Clojure655 47 9333
bow-swift/bow
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Language:Swift642 20 27032
potassco/clingo
🤔 A grounder and solver for logic programs.
Language:C++586 35 34378
hofstadter-io/hof
Framework that joins data models, schemas, code generation, and a task engine. Language and technology agnostic.
Language:Go488 11 16336
thma/WhyHaskellMatters
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.
Language:Haskell462 18 214
LogtalkDotOrg/logtalk3
Logtalk - declarative object-oriented logic programming language
Language:Prolog400 33 7130
pine-vm/pine
Cross-platform runtime environment for the Elm programming language.
Language:Elm211 8 1518
TomasMikula/libretto
Declarative concurrency and stream processing library for Scala
Language:Scala192 11 956
IgorBuchelnikov/ObservableComputations
Cross-platform .NET library for computations whose arguments and results are objects that implement INotifyPropertyChanged and INotifyCollectionChanged (ObservableCollection) interfaces.
Language:C#108 4 128
Open-Bytes/SwiftUIFormValidator
Declarative form validator for SwiftUI.
Language:Swift95 2 1620
noahgrant/resourcerer
Declarative data-fetching and caching framework for REST APIs with React
Language:JavaScript80 4 14
DirectToSwift/DirectToSwiftUI
Rule based CRUD Database Frontends for SwiftUI
Language:Swift64 3 30
DirectToSwift/SwiftUIRules
Dynamic, Rule based @EnvironmentKeys for SwiftUI
Language:Swift55 3 01
react-declarative/react-declarative
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...
Language:TypeScript53 3 45
dashersw/vuelve
A declarative syntax for the Composition API in Vue 3.
Language:TypeScript48 5 06
exekube/exekube
Exekube is a framework for managing the whole lifecycle of Kubernetes-based projects as declarative code with Terraform and Helm
Language:HCL44 5 6216
HarvardPL/AbcDatalog
Datalog that's as easy as ABC.
Language:Java44 3 68
naman03malhotra/match-rules
A tiny 1kB zero dependency JavaScript utility that lets you write your conditional business logic in a declarative way (React like).
Language:JavaScript43 2 56
pschachte/wybe
A programming language supporting most of both declarative and imperative programming
Language:Haskell43 10 2247
rvarago/absent
A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.
Language:C++39 4 28
QuickBirdEng/DataKit
A Swift library to easily read and write binary formatted data using a modern, declarative interface.
Language:Swift38 3 02
matchbook-ts/matchbook-ts
pattern matching in javascript & typescript made easy
Language:TypeScript32 2 00
mingodad/picat
My unofficial picat http://picat-lang.org/ repository
Language:C26 6 31
Geri-Borbas/iOS.Package.Withable
📐 Declarative UIKit in 10 lines of code.
Language:Swift25 2 02
ApiLogicServer/ApiLogicServer-src
Create an executable project (API and Admin App) from a database with 1 command, customize with rules and Python in your IDE
Language:HTML24 5 292
dagronf/DSFToolbar
A SwiftUI-style declarative NSToolbar wrapper for macOS.
Language:Swift24 2 21
AlgebraicJulia/AlgebraicRewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Language:Julia22 7 245
jogboms/declarative_reactivity_workshop
Implement a declarative reactivity system from scratch.
Language:Dart22 4 04
maciej-nowak/DP-Film-Expert-System
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.
Language:Prolog22 4 07
DirectToSwift/CoreDataToSwiftUI
Rule based CRUD CoreData Frontends for SwiftUI
Language:Swift21 3 00
danlkv/tgflow
A declarative-style telegram bot framework
Language:Python20 3 43
Alja7dali/swift-web-page
📄 A Swift DSL for writing type-safe HTML/CSS in SwiftUI way
Language:Swift17 2 11
nadobando/pydiction
A Python module to test dicts in a declarative way
Language:Python17 1 00
rvarago/kitten
A small C++17 library inspired by Category Theory.
Language:C++16 2 11
Abouelyatim/Functional-Programming-101-Java
Functional programming course
Language:Java15 2 05
mvneerven/xo
XO-JS - Declarative Forms, Wizards, Surveys. Developer Friendly, Extensible, Inheritance. Pure, Vanilla ES6 JavaScript - no dependencies.
Language:JavaScript12 2 72