selinux-policy-ubuntu-doc

Security-Enhanced Linux Reference Policy Documentation

ruby-simpleidn

Punycode ACE to unicode UTF-8 (and vice-versa) string conversion.

This gem allows easy conversion from punycode ACE strings to unicode UTF-8 strings and vice-versa.

python-xmmsclient

XMMS2 - Python bindings

XMMS2 is a redesign of the XMMS music player. It features a client-server model, allowing multiple (even simultaneous!) user interfaces, both textual and graphical. All common audio formats are supported using plug-ins. On top of this, there is a flexible media library to organize your music.

libmrpt-apps2.0

Mobile Robot Programming Toolkit - apps library

python3-pyxb-bundles-wssplat

Python XML Schema Bindings (WS-* bindings for Python3)

PyXB is a pure Python package that generates Python code for classes that correspond to data structures defined by XMLSchema. In concept it is similar to JAXB for Java and CodeSynthesis XSD for C++.

libghc-djinn-ghc-prof

generate Haskell code from a type (bridge to GHC API); profiling libraries

Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is the bridge from djinn-lib to GHC API.