Fastfetch is a tool for fetching system information and displaying it in a stylized way. Fastfetch displays this information next to a logo of the system distribution, akin to many similar tools.

di is a disk information utility, displaying everything that your df command does and more. It features the ability to display your disk usage in whatever format you prefer. It is designed to be highly portable and produce uniform output across heterogeneous networks.

The GNU Shepherd is a daemon-managing daemon, meaning that it supervises the execution of system services, replacing similar functionality found in typical init systems. It provides dependency-handling through a convenient interface and is based on GNU Guile.

This package provides a daemon for checking running and not running processes. It reads the /proc directory every n seconds and does a POSIX regexp on the process names. The daemon runs a user-provided script when it detects a program in the running processes, or an alternate script if it doesn't detect the program. The daemon can only be called by the root user, but can use sudo -u user in the process called if needed.

daemonize runs a command as a Unix daemon. It will close all open file descriptors, change working directory of the process to the root filesystem, reset its umask, run in the background, ignore I/O signals, handle SIGCHLD, etc. Most programs that are designed to be run as daemons do that work for themselves. However, you’ll occasionally run across one that does not. When you must run a daemon program that does not properly make itself into a true Unix daemon, you can use daemonize to force it to run as a true daemon.

This is the user-space component to the Linux auditing system, which allows logging of system calls made by user-land processes. auditd is responsible for writing audit records to the disk. Viewing the logs is done with the ausearch or aureport utilities. Configuring the audit rules is done with the auditctl utility.

stress-ng stress-tests a computer system by exercising both physical subsystems as operating system kernel interfaces. It can stress the CPU, cache, disk, memory, socket and pipe I/O, scheduling, and much more, in various selectable ways. This can trip hardware issues such as thermal overruns as well as operating system bugs that occur only when a system is being thrashed hard.

You can also measure test throughput rates, which can be useful to observe performance changes across different operating system releases or types of hardware. However, stress-ng is not a benchmark. Use it with caution: some of the tests can make poorly designed hardware run dangerously hot or make the whole system lock up.

Compared to its inspiration, stress, stress-ng offers many additional options such as the number of bogo operations to run, execution metrics, verification of memory and computational operations, and considerably more stress mechanisms.

Utility to convert lsof output to a graph showing FIFO and UNIX interprocess communication.

wlgreet provides a greetd greeter that runs on a Wayland compositor such as sway. It is implemented with pure Wayland APIs, so it does not depend on a GUI toolkit.

Pam-krb5 is a Kerberos PAM module for either MIT Kerberos or Heimdal. It supports ticket refreshing by screen savers, configurable authorization handling, authentication of non-local accounts for network services, password changing, and password expiration, as well as all the standard expected PAM features. It works correctly with OpenSSH, even with ChallengeResponseAuthentication and PrivilegeSeparation enabled, and supports extensive configuration either by PAM options or in krb5.conf or both. PKINIT is supported with recent versions of both MIT Kerberos and Heimdal and FAST is supported with recent MIT Kerberos.

daemontools is a collection of tools for managing UNIX services.

This package provides a graphical disk usage analyzer in text mode.

greetd is a minimal and flexible login manager daemon that makes no assumptions about what you want to launch.

If you can run it from your shell in a TTY, greetd can start it.

If it can be taught to speak a simple JSON-based IPC protocol, then it can be a greeter.

This package provides the hcloud binary, a command-line interface for interacting with the Hetzner Cloud service.

This package contains tools for Allwinner devices:

1. sunxi-fexc, bin2fex, fex2bin: Compile a textual description of a board (.fex) to a binary representation (.bin).

2. sunxi-fel: Puts an Allwinner device into FEL mode which makes it register as a special USB device (rather than USB host). You can then connect it to another computer and flash it from there.

3. sunxi-nand-part: Partitions NAND flash.

4. sunxi-bootinfo: Reads out boot0 and boot1 (Allwinner bootloader) parameters.

5. sunxi-pio: Sets GPIO parameters and oscillates a GPIO in order to be able to find it.

6. sunxi-meminfo: Prints memory bus settings.

7. sunxi-nand-image-builder: Prepares raw NAND images.

UDPcast is a file transfer tool that can send data simultaneously to many destinations on a LAN. This can for instance be used to install entire classrooms of PC's at once. The advantage of UDPcast over using other methods (nfs, ftp, whatever) is that UDPcast uses UDP's multicast abilities: it won't take longer to install 15 machines than it would to install just 2.

C-ares is a C library that performs DNS requests and name resolution asynchronously. It is intended for applications which need to perform DNS queries without blocking, or need to perform multiple DNS queries in parallel. The primary examples of such applications are servers which communicate with multiple clients and programs with graphical user interfaces.

GNU adns is a C library that provides easy-to-use DNS resolution functionality. The library is asynchronous, allowing several concurrent calls. The package also includes several command-line utilities for use in scripts.

A standard library for Cubical Agda, comparable to agda-stdlib but using cubical methods.

This Emacs mode enables interactive development with Agda. It also aids the input of Unicode characters.

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory. Unlike the HoTT book, the 1lab is not a “linear” resource: Concepts are presented as a directed graph, with links indicating dependencies.

The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead.

A new Categories library for Agda

The goal is to provide a concrete library focused on verification examples, as opposed to mathematics. The library has a good number of theorems for booleans, natural numbers, and lists. It also has trees, tries, vectors, and rudimentary IO. A number of good ideas come from Agda's standard library.