Library for incremental computations depending only on Core_kernel - View it on GitHub