libtie-cache-lru-perl
Perl module for Least-Recently Used cache
This is an implementation of a least-recently used (LRU) cache keeping the
cache in RAM.
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
Hammer is a tool to help in the search of a proof
in Coq. It tries to find applicable lemmas and
combine them into a effective proof.
libcoq-extructures
data structures with extensional reasoning for Coq
This Coq plugin provides finite sets, maps and
other data structures with extensional reasoning.
libcoq-bignums
Coq library for big numbers
This package provides big numbers (natural numbers,
integers and rationals) in Coq, as BigN, BigZ and BigQ,
which used to be part of the standard library.
node-istextorbinary
Determine if a filename and/or buffer is text or binary
This library provides smarter detection than the other solutions.
node-nunjucks
templating engine with inheritance, asynchronous control, and more
This library is a powerful templating engine with inheritance, asynchronous
control, and more (jinja2 inspired).