A library for incremental computations
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
debug_lib v0.11.119.00+158 Aug 27, 2018
deprecated v0.11.117.17+10 Aug 7, 2018
deprecated_kernel v0.11.117.19+55 Aug 10, 2018
src v0.11.119.00+158 Aug 27, 2018
test v0.11.119.00+158 Aug 27, 2018
.gitignore 114.35+03 Mar 7, 2017
CHANGES.md 113.43+70 May 20, 2016
CONTRIBUTING.md v0.11.117.08+54 May 23, 2018
LICENSE.md v0.11.117.08+54 May 23, 2018
Makefile v0.11.117.08+54 May 23, 2018
README.org v0.11.119.00+49 Aug 22, 2018
incremental.opam v0.11.117.19+55 Aug 10, 2018


A library for building self-adjusting computations, following the work of Umut Acar et. al.. Incremental gives you a way of building complex computations that can update efficiently in response to their inputs. Incremental can be useful in a number of applications, including:

  • Building large calculations (of the kind you might build into a spreadsheet) that can react efficiently to changing data.
  • Constructing views in GUI applications that can incorporate new data efficiently.
  • Building online versions of existing combinatorial algorithms.

You can find detailed documentation in of the library and how to use it in incremental_kernel/src/incremental_intf.ml. You can also find an informal introduction to the library in this blog post.