libfloat-coq
Coq library on floating-point arithmetic
This package provides PFF (Preuves Formelles sur les Flottants =
Formal Proofs about Floats), a library for reasoning about
floating-point arithmetic in Coq. It contains both definitions and
proofs of basic facts, old & new properties and algorithms.
librtcom-telepathy-glib0
RTCom telepathy-glib extension library
libapache-gallery-perl
Apache module to create image galleries on-the-fly
This package contains a Perl module for Apache to create galleries.
node-yazl
yet another zip library - Node.js module
yazl is a Node.js module which provides the ability to generate zip files.
It uses async APIs to avoid blocking the JavaScript thread, avoids buffering
entire files in RAM, and opens input files one at a time to avoid EMFILE
errors. yazl supports adding files, buffers, and streams. The output is a
stream. If all the files in the zip file are uncompressed, the final size is
known before the stream starts.
libpod-constants-perl
module for including constants from POD
This module allows you to specify those constants that should be
documented in your POD, and pull them out a run time in a fairly
arbitrary fashion.
libcanl-c-examples
Example programs of EMI caNl
This package contains client and server examples of EMI caNl.