Adapton in Rust

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

Versions:

• The repo https://github.com/Adapton/adapton.rust has the latest, in dev and master branches.
• (The master branch is intended to be "stable", e.g., for external libraries).
• The latest development is always in branch dev.
• Older Rust versions are available on crates.io.
• See also: A prior OCaml implementation.

Research and Development Community:

• The Adapton Slack Team is open to anyone that is interested in learning more.
• If you are interested in joining this Slack team, send mail to matthew.hammer@colorado.edu for an invite.
• For a list of current and past contributors, see The Adapton Homepage

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.