CacheCache aims at providing an efficient (w.r.t. CPU usage, memory usage and allocations) caching library for OCaml. It currently implements the following caching strategies:
Lru: Least recently used. Least recently used items are discarded first when the cache is full.
Interfaces are annotated with formal specifications using the Gospel specification language.