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.

libkadm5srv8-heimdal

Libraries for Heimdal Kerberos

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

libkafs0-heimdal

Heimdal Kerberos - KAFS support library

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