gnome-shell-extension-windows-navigator

GNOME Shell extension to allow keyboard selection in overlay mode

GNOME Shell is extensible using extensions. This package contains an official GNOME Shell extension to allow keyboard selections of windows and workspaces in overlay mode. Ctrl+number selects a workspace and Alt+number selects a window.

gnome-shell-extension-apps-menu

Category based app menu for GNOME Shell

GNOME Shell is extensible using extensions. This package contains an official GNOME Shell extension to add a category based Apps menu similar to what is found in classic desktops.

libmuffin0t64

window and compositing manager (shared library)

Muffin is a window manager performing compositing as well based on GTK+ and Clutter and used in Cinnamon desktop environment.

libmrpt-math2.12

Mobile Robot Programming Toolkit - math 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).

libmumps-5.6t64

Direct linear systems solver - parallel shared libraries

MUMPS implements a direct solver for large sparse linear systems, with a particular focus on symmetric positive definite matrices. It can operate on distributed matrices e.g. over a cluster. It has Fortran and C interfaces, and can interface with ordering tools such as Scotch.

fastani

Fast alignment-free computation of whole-genome Average Nucleotide Identity

ANI is defined as mean nucleotide identity of orthologous gene pairs shared between two microbial genomes. FastANI supports pairwise comparison of both complete and draft genome assemblies.