jackbergus/guava-cache-overflow-extension
A Guava cache extension that allows caches to overflow to disk.
This library provides some dataflow analyzing tools in Matita Language (http://matita.cs.unibo.it/)
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A Guava cache extension that allows caches to overflow to disk.
An implementation of gSpan over DHImp (Directed binary graphs with mono-labelled vertices)
First implementation of the Hypergraph DataminingAlgebra
(Social) Network Simulator