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.