jraut/adapton.rust

General-purpose abstractions for incremental computing, in Rust

Adapton in Rust

A general-purpose Incremental Computation (IC) library for Rust.

Documentation, with examples

Versions:

• The Adapton repo has the latest, in dev and master branches.
  • branch dev contains the latest development.
  • branch master is "stable", e.g., for external libraries.
  • Also see the Adapton crate for periodic "stable" releases.
• See also: A prior OCaml implementation.

Research and Development Community:

• Currently using adapton.zulipchat.com.
• The Adapton community on gitter.
• The Adapton Slack Team is open to anyone that is interested in learning more.
• The Adapton homepage gives a list of current and past project contributors.

Theory and Foundations:

• The draft Refinement types for precisely named cache locations.
• The paper Incremental computation with names, OOPSLA 2015.
• The paper Adapton: Composable, demand-driven incremental computation, PLDI 2014.