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).