OpenGene / fastp

An ultra-fast all-in-one FASTQ preprocessor (QC/adapters/trimming/filtering/splitting/merging...)

fast-pack / FastPFOR

The FastPFOR C++ library: Fast integer compression

stp / stp

Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.