This is the Phobos standard library that comes with the D2 compiler.

This extension allows php applications to communicate with any STOMP (Streaming Text Oriented Messaging Protocol) compliant Message Brokers (e.g. Apache ActiveMQ) through easy object oriented and procedural interfaces.

This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.

The uopz extension is focused on providing utilities to aid with unit testing PHP code.

PETSc is the "Portable Extensible Toolkit for Scientific Computation", a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations. It employs the MPI standard for all message-passing communication. Several sample scientific applications, as well as various papers and talks, demonstrate the features of the PETSc libraries.

PHP extension adding support for YAML 1.1 (YAML Ain't Markup Language) serialization using the LibYAML library.