<img src="http://adapton.org/adapton-logo-bonsai-64.png" alt="Logo" style="width: 64px;"/> [Adapton](http://adapton.org) in Rust [](https://travis-ci.org/Adapton/adapton.rust)
====================================================================================
A general-purpose **Incremental Computation** (IC) library for Rust.
[Documentation, with examples](https://docs.rs/adapton/0/adapton/#programming-model)
-------------------------------------------------------------------------------------
Versions:
---------
- The [Adapton repo](https://github.com/Adapton/adapton.rust) has the latest, in `dev` and `master` branches.
- branch [dev](https://github.com/Adapton/adapton.rust/tree/dev) contains the **latest development**.
- branch `master` is "stable", e.g., for external libraries.
- Also see the [Adapton crate](https://crates.io/crates/adapton) for periodic "stable" releases.
- See also: A prior [OCaml implementation](https://github.com/plum-umd/adapton.ocaml).
Research and Development Community:
--------------------------------------
- The [Adapton community](https://gitter.im/Adapton) on [gitter](https://gitter.im/Adapton).
- The [Adapton Slack Team](http://adapton-public.slack.com) 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.
- The [Adapton homepage](http://adapton.org) gives a list of current and past project contributors.
Theory and Foundations:
-----------------------
- The draft [_Refinement types for precisely named cache locations_](https://arxiv.org/abs/1610.00097).
- The paper [_Incremental computation with names_, **OOPSLA 2015**](http://arxiv.org/abs/1503.07792).
- The paper [_Adapton: Composable, demand-driven incremental computation_, **PLDI 2014**](http://matthewhammer.org/adapton/).