This package makes it possible to define new commands and tactics for Coq in Elpi.

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

This Sphinx extension, written as part of the IPython and Jupyter projects, allows one to easily link to GitHub issues, pull requests, commits and users. It uses a different syntax from an alternative extension called sphinxcontrib.github.

To learn what Syncplay is read the description of package 'syncplay'.

A macro processor that is used automatically by the GNU C compiler to transform programs before actual compilation.

Mediastreamer2 is a powerful and lightweight streaming engine specially designed for voice/video telephony applications.