Packages — Z

z3 4.5.0 — Theorem prover

Z3 is a theorem prover and satisfiability modulo theories (SMT) solver. It provides a C/C++ API, as well as Python bindings.

zathura 0.3.9 — Lightweight keyboard-driven PDF viewer

Zathura is a customizable document viewer. It provides a minimalistic interface and an interface that mainly focuses on keyboard interaction.

zathura-cb 0.1.8 — Comic book support for zathura (libarchive backend)

The zathura-cb plugin adds comic book support to zathura using libarchive.

zathura-djvu 0.2.8 — DjVu support for zathura (DjVuLibre backend)

The zathura-djvu plugin adds DjVu support to zathura using the DjVuLibre library.

zathura-pdf-mupdf 0.3.3 — PDF support for zathura (mupdf backend)

The zathura-pdf-mupdf plugin adds PDF support to zathura by using the mupdf rendering library.

zathura-pdf-poppler 0.2.9 — PDF support for zathura (poppler backend)

The zathura-pdf-poppler plugin adds PDF support to zathura by using the poppler rendering engine.

zathura-ps 0.2.6 — PS support for zathura (libspectre backend)

The zathura-ps plugin adds PS support to zathura using libspectre.

zenity 3.24.0 — Display graphical dialog boxes from shell scripts

This is a GNU package.

Zenity is a rewrite of gdialog, the GNOME port of dialog which allows you to display dialog boxes from the commandline and shell scripts.

zerofree 1.1.1 — Zero non-allocated regions in ext2/ext3/ext4 file systems

Zerofree finds the unallocated blocks with non-zero value content in an ext2, ext3, or ext4 file system and fills them with zeroes (or another value). This is a simple way to make disk images more compressible. Zerofree requires the file system to be unmounted or mounted read-only.

zeromq 4.0.7 — Library for message-based applications

The 0MQ lightweight messaging kernel is a library which extends the standard socket interfaces with features traditionally provided by specialized messaging middle-ware products. 0MQ sockets provide an abstraction of asynchronous message queues, multiple messaging patterns, message filtering (subscriptions), seamless access to multiple transport protocols and more.

zile 2.4.14 — Lightweight Emacs clone

This is a GNU package.

GNU Zile is a lightweight Emacs clone. It usage is similar to the default Emacs configuration, but it carries a much lighter feature set.

zile-on-guile 2.4.14-0.fd09781 — Lightweight clone of the Emacs editor using Guile

GNU Zile is a lightweight clone of the Emacs editor, and Zile-on-Guile is a variant of Zile that can be extended in Guile Scheme. Hitting M-C (or: Alt and C) brings up a Guile REPL from which interactive functions akin to those of Emacs can be invoked.

zimg 2.5 — Scaling, colorspace conversion, and dithering library

Zimg implements the commonly required image processing basics of scaling, colorspace conversion, and depth conversion. A simple API enables conversion between any supported formats to operate with minimal knowledge from the programmer.

zip 3.0 — Compression and file packing utility

Zip is a compression and file packaging/archive utility. Zip is useful for packaging a set of files for distribution, for archiving files, and for saving disk space by temporarily compressing unused files or directories. Zip puts one or more compressed files into a single ZIP archive, along with information about the files (name, path, date, time of last modification, protection, and check information to verify file integrity). An entire directory structure can be packed into a ZIP archive with a single command.

Zip has one compression method (deflation) and can also store files without compression. Zip automatically chooses the better of the two for each file. Compression ratios of 2:1 to 3:1 are common for text files.

zita-alsa-pcmi 0.2.0 — C++ wrapper around the ALSA API

Zita-alsa-pcmi is a C++ wrapper around the ALSA API. It provides easy access to ALSA PCM devices, taking care of the many functions required to open, initialise and use a hw: device in mmap mode, and providing floating point audio data.

zita-convolver 3.1.0 — Fast, partitioned convolution engine library

Zita convolver is a C++ library providing a real-time convolution engine.

zita-resampler 1.3.0 — C++ library for resampling audio signals

Libzita-resampler is a C++ library for resampling audio signals. It is designed to be used within a real-time processing context, to be fast, and to provide high-quality sample rate conversion.

zlib 1.2.11 — Compression library

zlib is designed to be a free, general-purpose, legally unencumbered -- that is, not covered by any patents -- lossless data-compression library for use on virtually any computer hardware and operating system. The zlib data format is itself portable across platforms. Unlike the LZW compression method used in Unix compress(1) and in the GIF image format, the compression method currently used in zlib essentially never expands the data. (LZW can double or triple the file size in extreme cases.) zlib's memory footprint is also independent of the input data and can be reduced, if necessary, at some cost in compression.

znc 1.7.0 — IRC network bouncer

ZNC is an IRC network bouncer or BNC. It can detach the client from the actual IRC server, and also from selected channels. Multiple clients from different locations can connect to a single ZNC account simultaneously and therefore appear under the same nickname on IRC.

zpaq 7.15 — Incremental journaling archiver

ZPAQ is a command-line archiver for realistic situations with many duplicate and already compressed files. It backs up only those files modified since the last update. All previous versions remain untouched and can be independently recovered. Identical files are only stored once (known as de-duplication). Archives can also be encrypted.

ZPAQ is intended to back up user data, not entire operating systems. It ignores owner and group IDs, ACLs, extended attributes, or special file types like devices, sockets, or named pipes. It does not follow or restore symbolic links or junctions, and always follows hard links.

zsh 5.5.1 — Powerful shell for interactive use and scripting

The Z shell (zsh) is a Unix shell that can be used as an interactive login shell and as a powerful command interpreter for shell scripting. Zsh can be thought of as an extended Bourne shell with a large number of improvements, including some features of bash, ksh, and tcsh.

zstd 1.3.5 — Zstandard real-time compression algorithm

Zstandard (zstd) is a lossless compression algorithm that combines very fast operation with a compression ratio comparable to that of zlib. In most scenarios, both compression and decompression can be performed in ‘real time’. The compressor can be configured to provide the most suitable trade-off between compression ratio and speed, without affecting decompression speed.

zynaddsubfx 3.0.3 — Software synthesizer

ZynAddSubFX is a feature heavy realtime software synthesizer. It offers three synthesizer engines, multitimbral and polyphonic synths, microtonal capabilities, custom envelopes, effects, etc.

zyre 2.0.0 — Framework for proximity-based peer-to-peer applications

Zyre provides reliable group messaging over local area networks using zeromq. It has these key characteristics:

  • Zyre needs no administration or configuration.

  • Peers may join and leave the network at any time.

  • Peers talk to each other without any central brokers or servers.

  • Peers can talk directly to each other.

  • Peers can join groups, and then talk to groups.

  • Zyre is reliable, and loses no messages even when the network is heavily loaded.

  • Zyre is fast and has low latency, requiring no consensus protocols.

  • Zyre is designed for WiFi networks, yet also works well on Ethernet networks.

zziplib 0.13.69 — Library for accessing zip files

ZZipLib is a library based on zlib for accessing zip files.

zzuf 0.15 — Transparent application input fuzzer

Zzuf is a transparent application input fuzzer. It works by intercepting file operations and changing random bits in the program's input. Zzuf's behaviour is deterministic, making it easy to reproduce bugs.