libcvc3-5-jni

Java bindings for CVC3 (native 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.
lightweight GUI calendar application

gsimplecal

lightweight GUI calendar application

gsimplecal is a lightweight calendar application written in C++ using GTK3.

libghc-io-choice-prof

choice for IO and lifted IO; profiling libraries

io-choice provides the choice operator (||>) for the IO monad and lifted IO monad. If an IOException occurs in the left-hand side, the right-hand IO action is performed.

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.