declarative-programming

There are 241 repositories under declarative-programming topic.

potassco/clingo
🦉 A grounder and solver for logic programs.
Language:C++709 35 38690
CoNarrative/precept
A declarative programming framework
Language:Clojure660 46 9333
bow-swift/bow
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Language:Swift657 19 27033
hofstadter-io/hof
Framework that joins data models, schemas, code generation, and a task engine. Language and technology agnostic.
Language:Go565 8 17543
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:Haskell478 16 214
LogtalkDotOrg/logtalk3
Logtalk - declarative object-oriented logic programming language
Language:Prolog469 32 7734
pine-vm/pine
Cross-platform runtime environment for the Elm programming language.
Language:Elm247 8 1820
TomasMikula/libretto
Declarative concurrency and stream processing library for Scala
Language:Scala213 12 957
octopus2023-inc/gensphere
Declarative framework to build LLM-based applications
Language:HTML128 2 010
Open-Bytes/SwiftUIFormValidator
Declarative form validator for SwiftUI.
Language:Swift122 2 2030
IgorBuchelnikov/ObservableComputations
Cross-platform .NET library for computations whose arguments and results are objects that implement INotifyPropertyChanged and INotifyCollectionChanged (ObservableCollection) interfaces.
Language:C#118 5 128
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:TypeScript88 3 915
noahgrant/resourcerer
Declarative data-fetching and caching framework for REST APIs with React
Language:JavaScript82 3 14
AlbanPerli/Noema-Declarative-AI
A declarative way to control LLMs.
Language:Python77 2 10
whiteducksoftware/flock
🐤🐧 A declarative and highly modular Blackboard Multi Agent System 🐓 🦆
Language:Python748
DirectToSwift/DirectToSwiftUI
Rule based CRUD Database Frontends for SwiftUI
Language:Swift67 2 30
HarvardPL/AbcDatalog
Datalog that's as easy as ABC.
Language:Java64 2 98
DirectToSwift/SwiftUIRules
Dynamic, Rule based @EnvironmentKeys for SwiftUI
Language:Swift57 2 01
dashersw/vuelve
A declarative syntax for the Composition API in Vue 3.
Language:TypeScript54 4 06
pschachte/wybe
A programming language supporting most of both declarative and imperative programming
Language:Haskell52 9 2416
QuickBirdEng/DataKit
A Swift library to easily read and write binary formatted data using a modern, declarative interface.
Language:Swift48 2 11
ApiLogicServer/ApiLogicServer-src
Create an executable project (API and Admin App) from a database or natural language prompt with 1 command, customize with declarative rules and Python in your IDE, containerize and deploy.
Language:Python45 8 9410
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++45 4 28
exekube/exekube
Exekube is a framework for managing the whole lifecycle of Kubernetes-based projects as declarative code with Terraform and Helm
Language:HCL44 4 6216
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 1 56
matchbook-ts/matchbook-ts
pattern matching in javascript & typescript made easy
Language:TypeScript34 1 00
AlgebraicJulia/AlgebraicRewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Language:Julia32 9 335
mingodad/picat
My unofficial picat http://picat-lang.org/ repository
Language:C30 5 31
dagronf/DSFToolbar
A SwiftUI-style declarative NSToolbar wrapper for macOS.
Language:Swift29 1 21
Geri-Borbas/iOS.Package.Withable
📐 Declarative UIKit in 10 lines of code.
Language:Swift29 2 02
react-declarative/react-pocketbase-crm
The most advanced starter kit for CRM system build with Pocketbase. It includes Kanban board, JSON form layout engine, feature model support, field visibility flags, grid component with fulltext search and modal filters.
Language:TypeScript28 2 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:Prolog24 3 08
jogboms/declarative_reactivity_workshop
Implement a declarative reactivity system from scratch.
Language:Dart23 4 04
mksunny1/deleight
A simple, modular and expressive library for fast interactive web applications
Language:JavaScript22 1 02
nadobando/pydiction
A Python module to test dicts in a declarative way
Language:Python21 1 00
DirectToSwift/CoreDataToSwiftUI
Rule based CRUD CoreData Frontends for SwiftUI
Language:Swift20 2 00