This package provides a plugin for Coq to generate parametricity statements, typically used in data refinement proofs.

The Interception Tools is a small set of utilities for operating on input events of evdev devices.

Rust is a curly-brace, block-structured expression language. It visually resembles the C language family, but differs significantly in syntactic and semantic details. Its design is oriented toward concerns of "programming in the large", that is, of creating and maintaining boundaries - both abstract and operational - that preserve large-system integrity, availability and concurrency.

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

Cigar is a simple Python3 library for dealing with cigar strings. the most useful feature now is soft-masking from left or right. This allows one to adjust a SAM record only by changing the cigar string to soft-mask a number of bases such that the rest of the SAM record (pos, tlen, etc.) remain valid, but downstream tools will not consider the soft-masked bases in further analysis.

You find a gene in the genome? Or a feature about it? The gene transfer format (GTF, identical to GFF2) allows your program or your database to exchange this information so it can be presented with genome browsers or used e.g. as a selection for other features like nucleotide variants.