gobjc++-10-multilib-mips64el-linux-gnuabi64

GNU Objective-C++ compiler (multilib support)

This is the GNU Objective-C++ compiler, which compiles Objective-C++ on platforms supported by the gcc compiler.

libz3-cil

theorem prover from Microsoft Research - CLI bindings

dascrubber

alignment-based scrubbing pipeline for DNA sequencing reads

The Dazzler Scrubbing Suite produces a set of edited reads that are guaranteed to * be continuous stretches of the underlying genome (i.e. no unremoved adapters and not chimers) * have no very low quality stretches (i.e. the error rate never exceeds some reasonable maximum, 20% or so in the case of Pacbio data). Its secondary goal is to do so with the minimum removal of data and splitting of reads.

elpa-diminish

hiding or abbreviation of the mode line displays of minor-modes

Minor modes each put a word on the mode line to signify that they're active. This can cause other displays, such as % of file that point is at, to run off the right side of the screen. For some minor modes, such as mouse-avoidance-mode, the display is a waste of space, since users typically set the mode in their .emacs and never change it. For other modes, such as jiggle-mode, it's a waste because there's already a visual indication of whether the mode is in effect.
puzzle game for building molecules out of separate atoms

atomix

puzzle game for building molecules out of separate atoms

Atomix is an educational game designed for GNOME in which one has to build molecules, ranging from simple inorganic ones to some extremely complex organic ones, out of separate atoms.

elpa-bind-key

simple way to manage personal keybindings

If you have lots of keybindings set in your .emacs file, it can be hard to know which ones you haven't set yet, and which may now be overriding some new default in a new Emacs version. This package aims to solve that problem.