libgatk-fermilite-jni
interface to call Heng Li's fermi-lite assembler from Java code (jni)
Fml-asm (fermi-lite assembler) is a command-line tool for assembling Illumina
short reads in regions from 100bp to 10 million bp in size, based on the
fermi-lite library.
elpa-snakemake-mode
provides syntax highlighting for snakekmake files in emacs
Snakemake mode provides support for editing Snakemake files. It
builds on Python mode to provide fontification, indentation, and
imenu indexing for Snakemake's rule blocks.
libmptcpwrap0
Multipath TCP Converter Library
The Multipath TCP Converter Library - libmptcpwrap - helps to enable MPTCP
usage on unmodified legacy services. This library can be used with
LD_PRELOAD to force MPTCP socket usage instead of TCP.
mptcpd-plugins
Multipath TCP Daemon Plug-ins
The Multipath TCP Daemon Plug-ins package is a collection of plugins for
mptcpd, short for Multipath TCP Daemon. These plugins can be used to
perform Multipath TCP path management related operations in the user
space.
mptcpize
Multipath TCP Converter
The Multipath TCP Converter tool - mptcpize - helps to enable MPTCP usage
on unmodified legacy services. It can run programs forcing MPTCP socket
usage instead of TCP. It can also update systemd units to force them to
run under mptcpize launcher.
gappa
Automatic generation of proofs of arithmetic properties
Tool to help verify and prove properties on numerical
programs dealing with either fixed-point or floating-point
arithmetic.