python-ironicclient

Client for OpenStack bare metal Service - Python 2.7

Ironic provision bare metal machines instead of virtual machines. It is a fork of the Nova Baremetal driver. It is best thought of as a bare metal hypervisor API and a set of plugins which interact with the bare metal hypervisors. By default, it will use PXE and IPMI in concert to provision and turn on/off machines, but Ironic also supports vendor-specific plugins which may implement additional functionality.

libcvc3-5-java

Java bindings for CVC3 (bytecode library)

CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.

libghc-ghc-syb-utils-prof

Scrap Your Boilerplate utilities for the GHC API; profiling libraries

Common utilities for the Ghc Api, either based on Data/Typeable or for use with Data.Generics over Ghc Api types.

libdcmtk16

OFFIS DICOM toolkit runtime libraries

DCMTK includes a collection of libraries and applications for examining, constructing and converting DICOM image files, handling offline media, sending and receiving images over a network connection, as well as demonstrative image storage and worklist servers.

ruby-mail

Ruby library to handle email generation, parsing and sending

The purpose of this library is to provide a single point of access to handle all email functions, including sending and receiving emails. All network type actions are done through proxy methods to Net::SMTP, Net::POP3 etc.

libllvm3.4

Modular compiler and toolchain technologies, runtime library