python-portpicker

Python 2 module to find unused network ports to bind to

libclaw-dynamic-library1v5

Class to ease the manipulation of dynamic libraries

Part of the libclaw library.

libcoq-iris

high-order concurrent separation logic framework for Coq

This package provides a high-order concurrent separation logic framework for Coq, which means it is useful to reason about safety of concurrent programs.

libcss-parser0

simple CSS1 parser library for C

htmlcxx is a simple non-validating CSS1 and HTML parser for C++. Although there are several other html parsers available, htmlcxx has some characteristics that make it unique:

libicu55

International Components for Unicode

libhx509-5-heimdal

Heimdal Kerberos - X509 support library

Heimdal is a free implementation of Kerberos 5 that aims to be compatible with MIT Kerberos.