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.