ruby-dnsruby
Ruby DNS and DNSSEC client library
Dnsruby is a pure Ruby DNS client library. It provides a complete DNS
client implementation, including full DNSSEC support. Dnsruby is
currently used in projects such as OpenDNSSEC and ISC's DLV service.
hol88-library-source
Higher Order Logic, library source files
The HOL System is an environment for interactive theorem proving in a
higher-order logic. Its most outstanding feature is its high degree
of programmability through the meta-language ML. The system has a
wide variety of uses from formalizing pure mathematics to
verification of industrial hardware. Academic and industrial sites
world-wide are using HOL.
python-egenix-mxtools
collection of additional builtins for Python
mxTools is a Python extension package that includes a collection of
handy functions and objects giving additional functionality to the
Python programmer in form of new builtins, extensions to the sys
module and several other helpers as part of the package.
tandem-mass
mass spectrometry software for protein identification
X! Tandem can match tandem mass spectra with peptide sequences, in a
process that is commonly used to perform protein identification.
libtest-requires-perl
utility module for tests to check whether modules are available
Test::Requires is a Perl module for tests written using Test::Builder that
simply checks to see if the module can be loaded. If loading the module fails
then this skips all tests in the file, rather than causing a complete failure
in module testing.
ruby-sinatra-simple-navigation
Extension providing simple navigations for Sinatra or Padrino
A Sinatra extension enabling the use of ruby-simple-navigation in your Sinatra
and Padrino web applications.