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.
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.