Alternatives and similar repositories for incremental

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

• janestreet / incr_dom
  A library for building dynamic webapps, using Js_of_ocaml.
  ☆388Updated 2 weeks ago
• ocaml-multicore / ocaml-multicore
  Multicore OCaml
  ☆765Updated 2 years ago
• janestreet / core
  Jane Street Capital's standard library overlay
  ☆1,149Updated 2 weeks ago
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆877Updated 9 months ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,582Updated 9 years ago
• inhabitedtype / angstrom
  Parser combinators built for speed and memory efficiency
  ☆681Updated 9 months ago
• janestreet / async
  Jane Street Capital's asynchronous execution library
  ☆217Updated 2 weeks ago
• ocaml-multicore / effects-examples
  Examples to illustrate the use of algebraic effects in Multicore OCaml
  ☆439Updated last year
• realworldocaml / book
  V2 of Real World OCaml
  ☆1,218Updated 11 months ago
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,277Updated 2 months ago
• janestreet / base
  Standard library for OCaml
  ☆927Updated 2 weeks ago
• the-little-typer / pie
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆717Updated 3 years ago
• ocaml / merlin
  Context sensitive completion for OCaml in Vim and Emacs
  ☆1,632Updated this week
• ocsigen / js_of_ocaml
  Compiler from OCaml to Javascript.
  ☆1,022Updated this week
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆342Updated this week
• ocaml-multicore / ocaml-effects-tutorial
  Concurrent Programming with Effect Handlers
  ☆686Updated 11 months ago
• mirage / ocaml-cohttp
  An OCaml library for HTTP clients and servers using Lwt or Async
  ☆740Updated 3 weeks ago
• urweb / urweb
  The Ur/Web programming language
  ☆816Updated last year
• vmware-archive / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,438Updated last year
• rgrinberg / opium
  Sinatra like web toolkit for OCaml
  ☆775Updated 4 months ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆400Updated 3 years ago
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,886Updated last week
• lexi-lambda / hackett
  WIP implementation of a Haskell-like Lisp in Racket
  ☆1,173Updated last year
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆1,060Updated 2 months ago
• inhabitedtype / httpaf
  A high performance, memory efficient, and scalable web server written in OCaml
  ☆542Updated last year
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆373Updated 8 years ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆779Updated last month
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆677Updated 2 months ago
• ocsigen / lwt
  OCaml promises and concurrent I/O
  ☆761Updated this week
• ocaml-multicore / parallel-programming-in-multicore-ocaml
  Tutorial on Multicore OCaml parallel programming with domainslib
  ☆289Updated last year