declarative-programming

There are 10 repositories under declarative-programming topic.

• potassco / clingo

  🦉 A grounder and solver for logic programs.

  answer-set-programmingdeclarative-programminglogic-programming
  Language:C++ 709

• CoNarrative / precept

  A declarative programming framework

  rulesclojureclojurescriptfunctional-relational-programmingdeclarative-programmingfunctional-reactive-programminglogic-programming
  Language:Clojure 660
• bow

  bow-swift / bow

  🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

  functional-programmingcategory-theoryfunctormonadswift-libraryfree-monadtagless-finalmtlcocoapodscarthageswiftboweffectscompositionfpspmdeclarative-programmingreactive-programminghacktoberfest
  Language:Swift 657

• hofstadter-io / hof

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

  hofstadtercode-generatordeclarative-programmingcuelangdata-modelingmigrations-generatorcuellmtuiworkflow-enginehacktoberfest
  Language:Go 565

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

  haskellanonymous-functionsfunction-compositionfunctional-programmingfirst-class-functionshigher-order-functionspartial-applicationpattern-matchingalgebraic-data-typespolymorphic-typesdeclarative-programmingmappingfoldinglazy-evaluationlist-comprehensiontype-classesfunctorfoldableexplicit-side-effectsmonads
  Language:Haskell 478
• logtalk3

  LogtalkDotOrg / logtalk3

  Logtalk - declarative object-oriented logic programming language

  logtalklogic-programmingprologoopdeclarative-languagedeclarative-programming
  Language:Prolog 469

• pine-vm / pine

  Cross-platform runtime environment for the Elm programming language.

  elmfull-stackbackendfunctional-programmingvirtual-machineevent-sourcingruntimedatabasedbmsdeclarative-programmingbusiness-logicmodeling
  Language:Elm 247

• TomasMikula / libretto

  Declarative concurrency and stream processing library for Scala

  concurrencystream-processingfunctional-programmingdeclarative-programmingexpressivenesstype-safetyresource-safetysession-typeslinear-types
  Language:Scala 213

• octopus2023-inc / gensphere

  Declarative framework to build LLM-based applications

  agentic-ai-developmentagentic-frameworkagentic-workflowagentsagents-from-promptsai-agents-frameworkartificial-intelligencedeclarative-programmingllmsopen-sourceplatformpythontext-to-agent
  Language:HTML 128
• SwiftUIFormValidator

  Open-Bytes / SwiftUIFormValidator

  Declarative form validator for SwiftUI.

  applecarthagecocoapodsdeclarative-programmingdeclarative-uiformiosmacosswiftswiftpmswiftuitvosvalidation
  Language:Swift 122
• ObservableComputations

  IgorBuchelnikov / ObservableComputations

  Cross-platform .NET library for computations whose arguments and results are objects that implement INotifyPropertyChanged and INotifyCollectionChanged (ObservableCollection) interfaces.

  observablecollectionlinqfunctional-programmingdeclarativedeclarative-programmingobservablecontinuousbindinotifypropertychangedinotifycollectionchangedfunctionalreactive-programmingdynamic-datarxrx-observablereactive-collectionsreactive-extensionsfunctional-reactive-programmingdataflowhacktoberfest
  Language:C# 118

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

  typescriptmaterial-uiform-validationjson-endpointreactlayout-enginegrid-systemstate-managementdeclarativedeclarative-programmingfrontendstandalonenested-gridslayout-gridintellisensecode-autocompleteform-buildermui
  Language:TypeScript 87
• resourcerer

  noahgrant / resourcerer

  Declarative data-fetching and caching framework for REST APIs with React

  javascriptreactdata-fetchingdeclarative-programmingfrontendrest-api
  Language:JavaScript 82

• AlbanPerli / Noema-Declarative-AI

  A declarative way to control LLMs.

  aiai-agentai-agent-frameworkai-agentsai-agents-frameworkaiagentaiagentsdeep-learningllmllm-inferencedeclarative-programmingllm-agentllm-agents
  Language:Python 77

• whiteducksoftware / flock

  🐤🐧🐓🦆 A declarative and highly modular AI Agent Framework 🐤🐧🐓 JOIN THE FLOCK

  agentagentsaiartificial-intelligencedeclarativedeclarative-programmingllm
  Language:Python 69

• DirectToSwift / DirectToSwiftUI

  Rule based CRUD Database Frontends for SwiftUI

  declarative-programmingdeclarative-uidatabase-guiswiftswiftuiswiftui-rules
  Language:Swift 67

• HarvardPL / AbcDatalog

  Datalog that's as easy as ABC.

  datalogdeclarative-programmingknowledge-baselogic-programmingrule-engine
  Language:Java 64

• DirectToSwift / SwiftUIRules

  Dynamic, Rule based @EnvironmentKeys for SwiftUI

  declarative-programmingswiftuiswiftui-rules
  Language:Swift 57

• dashersw / vuelve

  A declarative syntax for the Composition API in Vue 3.

  vuecomposition-apivue3vue3-composition-apideclarative-programming
  Language:TypeScript 54

• pschachte / wybe

  A programming language supporting most of both declarative and imperative programming

  declarative-programmingimperative-programmingprogramming-language
  Language:Haskell 52
• DataKit

  QuickBirdEng / DataKit

  A Swift library to easily read and write binary formatted data using a modern, declarative interface.

  binary-datablebluetoothbluetooth-lebluetooth-low-energydatadeclarativedeclarative-programmingdecodingdslencodingnetworkresultbuilderswiftswift5
  Language:Swift 48
• ApiLogicServer-src

  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.

  apiflaskkafkapythonrulessqlalchemyweb-appautomationdeclarative-programmingai-mlangular2business-rulesbusiness-rules-enginedatabasegenaijson-apimicroservicemicroservice-frameworkopen-apireact
  Language:Python 46

• rvarago / absent

  A small C++17 library meant to simplify the composition of nullable types in a generic, type-safe, and declarative way.

  cppcpp-librarycpp17declarative-programmingfunctional-programmingmodern-cppmonad-librarymonadic-interfacenullable-typeoptional-chainingoptional-type
  Language:C++ 45

• exekube / exekube

  Exekube is a framework for managing the whole lifecycle of Kubernetes-based projects as declarative code with Terraform and Helm

  dockerkubernetes-clusterterraformgoogle-cloudgoogle-kubernetes-engineinfrastructure-as-codedeclarative-programmingkubernetesexekubegitops
  Language:HCL 44

• naman03malhotra / match-rules

  A tiny 1kB zero dependency JavaScript utility that lets you write your conditional business logic in a declarative way (React like).

  declarativedeclarative-programmingcomplex-rulescomplex-conditionsconditional-statementsif-elsereactreactjsnpm-moduleif-else-refactoringimperative-programmingimperativejavascript-utility
  Language:JavaScript 43
• matchbook-ts

  matchbook-ts / matchbook-ts

  pattern matching in javascript & typescript made easy

  pattern-matchingtypescriptno-dependenciessimpleeasyfunctionalfunctional-programmingreactive-programmingjavascriptlibraryfunctionsdeclarativedeclarative-programmingmatchbookavatssmallpackagetiny-librarytiny
  Language:TypeScript 34

• AlgebraicJulia / AlgebraicRewriting.jl

  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

  category-theorydeclarative-programmingrewrite-systems
  Language:Julia 32

• mingodad / picat

  My unofficial picat http://picat-lang.org/ repository

  constraint-programmingcross-platformdeclarative-programmingdynamic-programmingfunctional-programmingpattern-matchingprologsolverssymbolic-computation
  Language:C 30

• dagronf / DSFToolbar

  A SwiftUI-style declarative NSToolbar wrapper for macOS.

  nstoolbardeclarative-programmingmacosmaccatalystdsltoolbar
  Language:Swift 29

• Geri-Borbas / iOS.Package.Withable

  📐 Declarative UIKit in 10 lines of code.

  builder-patterndeclarativedeclarative-programmingdeclarative-uidecorator-patterniosswiftswift-packageswift-package-manageruikit
  Language:Swift 29

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

  declarative-programmingdependency-injectionfunctional-programmingkanbankanban-applicationkanban-boardmobxmuipocketbasepocketbase-realtimereactreact-declarativereact-hooksrealtimerxjssolidwebsocket
  Language:TypeScript 27

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

  declarative-programminglogic-programmingexpert-systemprolog-rulesprologfilm-expertuniversity
  Language:Prolog 24

• jogboms / declarative_reactivity_workshop

  Implement a declarative reactivity system from scratch.

  dartlangdeclarative-programmingflutterfunctional-reactive-programmingreactive-programmingreactivity-systemstate-managementtransparent-functional-reactive-programming
  Language:Dart 23

• nadobando / pydiction

  A Python module to test dicts in a declarative way

  assertassertionsdeclarativedeclarative-programmingdictdictionarieslistpythoncomparisoncomparison-toolcomparisons
  Language:Python 21

• danlkv / tgflow

  A declarative-style telegram bot framework

  bottelegramdeclarative-programmingfunctional-programmingframework
  Language:Python 20

• DirectToSwift / CoreDataToSwiftUI

  Rule based CRUD CoreData Frontends for SwiftUI

  coredatadeclarative-programmingdeclarative-uiswiftswiftuiswiftui-rules
  Language:Swift 20