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.