CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

OpenSCAP is a set of open source libraries providing an easier path for integration of the SCAP line of standards. SCAP is a line of standards managed by NIST with the goal of providing a standard language for the expression of Computer Network Defense related information.

This package contains the ViSP (Visual Servoing Platform) core runtime libraries.

Raku META6 module provides a representation of the Raku META files specification - the META file data can be read, created , parsed and written in a manner that is conformant with the specification.

Needle is a tool for semi-quantitative analysis of very large collections of nucleotide sequences.

Libpsl allows checking domains against the Public Suffix List. It can be used to avoid privacy-leaking 'super-cookies', 'super domain' certificates, for domain highlighting purposes sorting domain lists by site and more.