geteltorito can extract the initial/default boot image from CDs (and ISOs) that follow the El Torito specification for bootable CD-ROMs.

Image data is written to standard output by default and all other information is written to standard error.

Cdparanoia retrieves audio tracks from CDDA capable CDROM drives. The data can be saved to a file or directed to standard output in WAV, AIFF, AIFF-C or raw format. Most ATAPI, SCSI and several proprietary CDROM drive makes are supported; cdparanoia can determine if the target drive is CDDA capable. In addition to simple reading, cdparanoia adds extra-robust data verification, synchronization, error handling and scratch reconstruction capability.

DVDStyler is a DVD authoring application which allows users to burn video files in many formats to DVD discs, complete with individually designed menus. It can be used to create professional-looking DVD's with custom buttons, backgrounds and animations, from within a user-friendly graphical interface.

Cdrkit is a suite of programs for recording CDs and DVDs, blanking CD-RW media, creating ISO-9660 file system images, extracting audio CD data, and more. It's mostly compatible with cdrtools.

GNU Xorriso is a tool for copying files to and from ISO 9660 Rock Ridge, a.k.a. Compact Disc File System, file systems and it allows session-wise manipulation of them. It features a formatter and burner for CD, DVD and BD. It can operate on existing ISO images or it can create new ones. xorriso can then be used to copy files directly into or out of ISO files.

The GNU Compact Disc Input and Control Library (libcdio) is a library for CD-ROM and CD image file access. It allows the developer to add CD access to an application without having to worry about the OS- and device-dependent properties of CD-ROM or the specific details of CD image formats. It includes pycdio, a Python interface to libcdio, and libcdio-paranoia, a library providing jitter-free and error-free audio extraction from CDs.

cdrdao records audio or data CDs in disk-at-once (DAO) mode, based on a textual description of the contents. This mode writes the complete disc – lead-in, one or more tracks, and lead-out – in a single step and is commonly used with audio CDs. cdrdao can also handle the bin/cue format, commonly used for VCDs or disks with subchannel data.

Libcue is a C library to parse so-called cue sheets which contain meta-data for CD/DVD tracks. It provides an API to manipulate the data.

libudfread is a C library for reading UDF file systems. UDF is a file system mostly used for DVDs and other optical media. It supports read-only media (DVD/CD-R) and rewritable media that wears out (DVD/CD-RW).

libMirage is a CD-ROM image access library. It supports the following formats: B6T, C2D, CCD, CDI, CIF, CUE, ISO, MDS, MDX, NRG, TOC. It is written in C and based on GLib. Its aim is to provide uniform access to the data stored in various image formats.

CDemu is a software suite designed to emulate an optical drive and disc (including CD-ROMs and DVD-ROMs).

Cedille is an interactive theorem-prover and dependently typed programming language, based on extrinsic (aka Curry-style) type theory. This makes it rather different from type theories like Coq and Agda, which are intrinsic (aka Church-style). In Cedille, terms are nothing more than annotated versions of terms of pure untyped lambda calculus. In contrast, in Coq or Agda, the typing annotations are intrinsic parts of terms. The typing annotations can only be erased as an optimization under certain conditions, not by virtue of the definition of the type theory.

This is a C version of the certdata2pem Python utility that was originally contributed to Debian.

This package provides a certificate store containing only the Let's Encrypt root and intermediate certificates. It is intended to be used within Guix.

The deSEC can be used to obtain certificates with certbot DNS ownership verification. With the help of this hook script, you can obtain your Let's Encrypt certificate using certbot with authorization provided by the DNS challenge mechanism, that is, you will not need a running web server or any port forwarding to your local machine.

Pytest-cov produces coverage reports. It supports centralised testing and distributed testing in both load and each modes. It also supports coverage of subprocesses.

Coverage measures code coverage, typically during test execution. It uses the code analysis tools and tracing hooks provided in the Python standard library to determine which lines are executable, and which have been executed.

Hypothesis is a library for testing your Python code against a much larger range of examples than you would ever want to write by hand. It’s based on the Haskell library, Quickcheck, and is designed to integrate seamlessly into your existing Python unit testing work flow.

This package provides relaxed test discovery for pytest.

Catch2 stands for C++ Automated Test Cases in Headers and is a multi-paradigm automated test framework for C++ and Objective-C.

Google Test features an XUnit test framework, automated test discovery, death tests, assertions, parameterized tests and XML test report generation.

CBehave is a behavior-driven development implemented in C. It allows the specification of behaviour scenarios using a given-when-then pattern.

Catch stands for C++ Automated Test Cases in Headers and is a multi-paradigm automated test framework for C++ and Objective-C.

Nose extends the unittest library to make testing easier.