declarative-programming

There are 9 repositories under declarative-programming topic.

• CoNarrative / precept

  A declarative programming framework

  clojureclojurescriptdeclarative-programmingfunctional-reactive-programmingfunctional-relational-programminglogic-programmingrules
  Language:Clojure 656
• 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 645

• potassco / clingo

  🤔 A grounder and solver for logic programs.

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

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

• 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 466
• logtalk3

  LogtalkDotOrg / logtalk3

  Logtalk - declarative object-oriented logic programming language

  logtalklogic-programmingprologoopdeclarative-languagedeclarative-programming
  Language:Prolog 413

• pine-vm / pine

  Cross-platform runtime environment for the Elm programming language.

  elmfull-stackbackendfunctional-programmingvirtual-machineevent-sourcingruntimedatabasedbmsdeclarative-programming
  Language:Elm 217

• TomasMikula / libretto

  Declarative concurrency and stream processing library for Scala

  concurrencystream-processingfunctional-programmingdeclarative-programmingexpressivenesstype-safetyresource-safetysession-typeslinear-types
  Language:Scala 194
• 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# 108
• SwiftUIFormValidator

  Open-Bytes / SwiftUIFormValidator

  Declarative form validator for SwiftUI.

  applecarthagecocoapodsdeclarative-programmingdeclarative-uiformiosmacosswiftswiftpmswiftuitvosvalidation
  Language:Swift 101
• resourcerer

  noahgrant / resourcerer

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

  javascriptreactdata-fetchingdeclarative-programmingfrontendrest-api
  Language:JavaScript 80

• DirectToSwift / DirectToSwiftUI

  Rule based CRUD Database Frontends for SwiftUI

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

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

• DirectToSwift / SwiftUIRules

  Dynamic, Rule based @EnvironmentKeys for SwiftUI

  swiftuiswiftui-rulesdeclarative-programming
  Language:Swift 58

• dashersw / vuelve

  A declarative syntax for the Composition API in Vue 3.

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

• HarvardPL / AbcDatalog

  Datalog that's as easy as ABC.

  dataloglogic-programmingdeclarative-programmingknowledge-baserule-engine
  Language:Java 46

• 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

• pschachte / wybe

  A programming language supporting most of both declarative and imperative programming

  programming-languagedeclarative-programmingimperative-programming
  Language:Haskell 43

• 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++ 40
• 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 39
• matchbook-ts

  matchbook-ts / matchbook-ts

  pattern matching in javascript & typescript made easy

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

• 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

  apiflaskkafkapythonrulessqlalchemyweb-appautomationdeclarative-programming
  Language:HTML 27

• Geri-Borbas / iOS.Package.Withable

  📐 Declarative UIKit in 10 lines of code.

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

• mingodad / picat

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

  symbolic-computationdynamic-programmingprologpattern-matchingsolversconstraint-programmingdeclarative-programmingfunctional-programmingcross-platform
  Language:C 26

• AlgebraicJulia / AlgebraicRewriting.jl

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

  category-theorydeclarative-programmingrewrite-systems
  Language:Julia 24

• dagronf / DSFToolbar

  A SwiftUI-style declarative NSToolbar wrapper for macOS.

  nstoolbardeclarative-programmingmacosmaccatalystdsltoolbar
  Language:Swift 24

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

• jogboms / declarative_reactivity_workshop

  Implement a declarative reactivity system from scratch.

  dartlangdeclarative-programmingflutterreactive-programmingreactivity-systemstate-managementfunctional-reactive-programmingtransparent-functional-reactive-programming
  Language:Dart 22

• DirectToSwift / CoreDataToSwiftUI

  Rule based CRUD CoreData Frontends for SwiftUI

  declarative-programmingdeclarative-uicoredataswiftuiswiftswiftui-rules
  Language:Swift 21

• danlkv / tgflow

  A declarative-style telegram bot framework

  botdeclarative-programmingframeworkfunctional-programmingtelegram
  Language:Python 20

• nadobando / pydiction

  A Python module to test dicts in a declarative way

  assertassertionsdeclarativedeclarative-programmingdictdictionarieslistpythoncomparisoncomparison-toolcomparisons
  Language:Python 18

• Alja7dali / swift-web-page

  📄 A Swift DSL for writing type-safe HTML/CSS in SwiftUI way

  htmlcssswiftuiswiftresultbuilderdeclarative-uideclarative-programmingdslrenderingserver-side-swiftswepswift-web-pagewebsitewebpagegenerate-cssgenerate-html
  Language:Swift 16

• Abouelyatim / Functional-Programming-101-Java

  Functional programming course

  declarative-programmingfunctional-programminghigher-order-functionsjavalambda-functions
  Language:Java 15

• rvarago / kitten

  A small C++17 library inspired by Category Theory.

  cppmodern-cppfunctional-programmingdeclarative-programmingcategory-theoryfunctorsmonadsmonadic-interface
  Language:C++ 15
• xo

  mvneerven / xo

  XO-JS - Declarative Forms, Wizards, Surveys. Developer Friendly, Extensible, Inheritance. Pure, Vanilla ES6 JavaScript - no dependencies.

  es6cssgridno-dependenciespwa-appsspajavascript-libraryform-schemavanilla-javascriptinline-validationjson-schemajson-formdeclarative-programming
  Language:JavaScript 12