CacheCache

An efficient caching library for OCaml.

⚠️ Disclamer:: this library is still at preliminary stage, and not ready for public use. Interfaces and implementations are unstable.

About

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.