ruby-tokyocabinet

Ruby Binding of Tokyo Cabinet Database

Tokyo Cabinet is an efficient database library like GDBM and NDBM. It features hash database and B+ tree database and is developed as the successor of QDBM, for the purpose of the following three points: higher processing speed, smaller size of a database file, and simpler API.

gcj-6-powerpc64le-linux-gnu

GCJ byte code and native compiler for Java(TM)

GCJ is a front end to the GCC compiler which can natively compile both Java(tm) source and bytecode files. The compiler can also generate class files.

python-sphinxcontrib.seqdiag

Sphinx "seqdiag" extension

This package contains the seqdiag Sphinx extension. This extension enable you to insert sequence diagrams in your Sphinx document. This renders block diagrams by using python-seqdiag.

libgnatprj6-armel-cross

GNU Ada compiler Project Manager (shared library)

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).

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.

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.