fastjet-examples
Example source files of FastJet
The FastJet package provides a fast implementation of several longitudinally
invariant sequential recombination jet algorithms, in particular the
longitudinally invariant kt jet algorithm, the inclusive longitudinally
invariant version of the Cambridge/Aachen jet-algorithm, and the inclusive
anti-kt algorithm.
mate-core
MATE Desktop Environment (essential components, dummy package)
The MATE Desktop Environment is the continuation of GNOME 2. It provides an
intuitive and attractive desktop environment using traditional metaphors for
Linux and other Unix-like operating systems.
why3-examples
Examples for the why3 verification platform
This package contains examples, both of program verification tasks
and pure logical verification tasks, for the why3 software verification
platform.
libmrpt-containers2.12
Mobile Robot Programming Toolkit - containers library
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).
why3-doc-pdf
PDF Documentation of the why3 verification platform
This package contains the tutorial and reference manual of the
why3 verification platform in PDF format.
libghc-template-haskell-compat-v0208-prof
backward-compatibility layer for TH newer than 2.8; profiling libraries
A backward-compatibility layer for Template Haskell newer than 2.8.