libcoq-mathcomp-character
Mathematical Components library for Coq (character)
The Mathematical Components Library is an extensive and coherent
repository of formalized mathematical theories. It is based on the
Coq proof assistant, powered with the Coq/SSReflect language.
elpa-org-make-toc
Automatic tables of contents for Org files
This package makes it easy to have one or more customizable tables of
contents in Org files. They can be updated manually, or automatically when
the file is saved. Links to headings are created compatible with GitHub's
Org renderer.
elpa-org-present
minimalist presentation tool for Emacs org-mode
This is meant to be an extremely minimalist presentation tool
for Emacs org-mode. Simply layout your presentation with each
slide under a top-level header, start the minor mode with
'org-present', and page through each slide with left/right keys.
erlang-poolboy
Erlang worker pool factory
A lightweight, generic pooling library for Erlang with a focus on
simplicity, performance, and rock-solid disaster recovery.
libvisp-tt3.5
visual servoing platform tt library
This package contains the ViSP (Visual Servoing Platform) template tracker
(tt) runtime library.