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