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.
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.
gobjc-10-multilib-mips64-linux-gnuabi64
GNU Objective-C compiler (multilib support) (cross compiler for mips64 architect
This is the GNU Objective-C compiler, which compiles Objective-C on platforms
supported by the gcc compiler.
gobjc-10-multilib-mips64el-linux-gnuabi64
GNU Objective-C compiler (multilib support) (cross compiler for mips64el archite
This is the GNU Objective-C compiler, which compiles Objective-C on platforms
supported by the gcc compiler.