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.