Rust Memoization Resources

Cachebox Cachebox is a Python library (written in Rust) that provides memoizations and cache implementions with different cache replecement policies.

A simple proof assistant written in Rust. The specification of the project may be found here, and the user manual here. The API documentation c

comemo Incremental computation through constrained memoization. [dependencies] comemo = "0.1" A memoized function caches its return values so that it

michie (sounds like Mickey) — an attribute macro that adds memoization to a function. Table of contents Features Non-features key_expr key_type store_

cached Caching structures and simplified function memoization cached provides implementations of several caching structures as well as a handy macro f