mcrl2

formal specification language toolset

mCRL2 stands for micro Common Representation Language 2. It is a specification language that can be used to specify and analyse the behaviour of distributed systems and protocols and is the successor to muCRL. Using its accompanying toolset, systems can be analysed and verified automatically.

libjsr311-api-java

JSR 311, JAX-RS, Java API for RESTful Web Services

Java API for the development of Web services built according to the Representational State Transfer (REST) architectural style.

nova-compute-libvirt

OpenStack Compute - compute node libvirt support

wmaker-dbg

Debugging symbols for WindowMaker packages

strongswan-plugin-pkcs11

strongSwan plugin for PKCS#11 smartcard backend