libvisp-tt-mi3.5
visual servoing platform tt-mi library
This package contains the ViSP (Visual Servoing Platform) template tracker
based on mutual information (tt) runtime library.
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.
libvisp-tt3.5
visual servoing platform tt library
This package contains the ViSP (Visual Servoing Platform) template tracker
(tt) runtime library.
libhmat-oss2
hierarchical matrix C/C++ library (shared library)
This library allows one to compute hierarchical matrices, which are tools from
numerical mathematics used to approximate non-sparse matrices.