Alternatives and similar repositories for curryon2018

Users that are interested in curryon2018 are comparing it to the libraries listed below

• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆75Updated 2 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆158Updated 8 months ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆18Updated 7 years ago
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆364Updated 7 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆27Updated 6 years ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆63Updated 4 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• ljwagerfield / crdt
  CRDT Tutorial for Beginners (a digestible explanation with less math!)
  ☆357Updated 3 years ago
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆64Updated 7 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 9 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• bloom-lang / c4
  Low-latency Overlog runtime
  ☆18Updated 10 years ago
• ipfs-inactive / research-CRDT
  [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.
  ☆484Updated 5 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆106Updated 2 years ago
• dmbarbour / Sirea
  Simply Reactive! Declarative orchestration in Haskell using RDP
  ☆274Updated 12 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆140Updated 2 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 5 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆131Updated 4 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆177Updated last year
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• dglittle / shelf
  ☆53Updated 10 months ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆68Updated 2 years ago
• gritzko / ron-cxx
  RON2.1 C++ implementation
  ☆46Updated 6 years ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆189Updated 4 years ago
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆13Updated 6 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated 2 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆43Updated 8 years ago
• AntidoteDB / antidote_crdt
  CRDT implementations to use with Antidote
  ☆36Updated 3 years ago