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.

friso

Chinese word splitter command

Friso is an open source high performance Chinese word splitter.

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.