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.