Alternatives and similar repositories for curryon2018:

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

• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆26Updated 5 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆72Updated 2 years ago
• josephg / reference-crdts
  Simple, tiny spec-compliant reference implementations of Yjs and Automerge's list types.
  ☆132Updated last year
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆16Updated 6 years ago
• dglittle / shelf
  ☆53Updated 3 months ago
• trvedata / trvesync
  Sandbox for playing around with CRDTs
  ☆30Updated 7 years ago
• gritzko / ron-cxx
  RON2.1 C++ implementation
  ☆47Updated 5 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 8 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆133Updated 2 years ago
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆62Updated 6 years ago
• PsychoLlama / graph-crdt
  Commutative graphs made for real-time, offline-tolerant replication
  ☆54Updated 5 years ago
• conal / talk-2014-bayhac-denotational-design
  Denotational Design: from programs to meanings
  ☆98Updated 9 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 2 months ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆124Updated 3 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 11 months ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆172Updated last year
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• janestreet / incremental_kernel
  Library for incremental computations depending only on Core_kernel
  ☆48Updated 6 years ago
• greglook / vault
  Content-addressable data storage system
  ☆22Updated 9 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆38Updated 5 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆66Updated 3 years ago
• peer-base / js-delta-crdts
  Delta State-based CRDTs in Javascript
  ☆197Updated 5 years ago
• ricardobcl / Interval-Tree-Clocks
  A Logical Clock for Static and Dynamic Systems
  ☆159Updated 7 years ago
• solidsnack / pg-sql-variants
  Variants types for PostgreSQL
  ☆31Updated 5 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated 5 months ago
• pghttp / proxy
  True backend-free web apps with nothing but Postgres
  ☆14Updated last year