Tcpdump is a command-line tool to analyze network traffic passing through the network interface controller.

This package provides an editor for the Novena EEPROM. Novena boards contain a device-dependent descriptive EEPROM that defines various parameters such as serial number, MAC address, and featureset. This program allows you to view and manipulate this EEPROM list.

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.

Netcat is a featured networking utility which reads and writes data across network connections, using the TCP/IP protocol. It is designed to be a reliable "back-end" tool that can be used directly or easily driven by other programs and scripts. At the same time, it is a feature-rich network debugging and exploration tool, since it can create almost any kind of connection you would need and has several interesting built-in capabilities.

This is htop, an interactive process viewer. It is a text-mode application (for console or X terminals) and requires ncurses.

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.

Provides a DHCP and a DHCPv6 client. Additionally, dhcpcd is also an IPv4LL (aka ZeroConf) client. In layperson's terms, dhcpcd runs on your machine and silently configures your computer to work on the attached networks without trouble and mostly without configuration.

Hosts is a command line program for managing /etc/hosts entries. On Guix System, /etc/hosts is managed from the system configuration; hosts only works when using the Guix package manager on a foreign distro. hosts works with existing hosts files and entries, providing commands to add, remove, comment, and search.

This project aims to provide an extension to the Shepherd, retraining it as a swineherd, a manager of crude system containers. It does this by providing a Shepherd service swineherd that talks to the Shepherd process to create Guix System containers as Shepherd services. It also comes with an optional HTTP API server.

A program that looks for coreutils basic commands (cp, mv, dd, tar, gzip/gunzip, cat, etc.) currently running on your system and displays the percentage of copied data. It can also show estimated time and throughput, and provides a "top-like" mode (monitoring).

Bfs is a variant of the UNIX find command that operates breadth-first rather than depth-first. It is otherwise compatible with many versions of find, including POSIX, GNU, and *BSD find.

Shepherd-run is a script which assists in creating one-off shepherd services from the command line. It is meant to partially fill the void left by systemd-run, since GNU Guix uses GNU Shepherd as its system service manager.

AIDE (Advanced Intrusion Detection Environment) is a file and directory integrity checker. It creates a database from the regular expression rules that it finds from its configuration files. Once this database is initialized it can be used to verify the integrity of the files. It has several message digest algorithms that are used to check the integrity of files. All of the usual file attributes can be checked for inconsistencies.

daemontools is a collection of tools for managing UNIX services.

GNU pies is a program that supervises the invocation and execution of other programs. It reads the list of programs to be started from its configuration file, executes them, and then monitors their status, re-executing them as necessary.

pam-hooks is a tiny PAM module enabling the execution of hook scripts when a PAM session is opened or closed. The typical use case is the need of doing some per-user set-up when a user logs via a PAM-aware login mechanism and/or the need of doing some per-user clean-up when the user logs out.

Neofetch is a command-line system information tool written in Bash. Neofetch displays information about your system next to an image, your OS logo, or any ASCII file of your choice. The main purpose of Neofetch is to be used in screenshots to show other users what operating system or distribution you are running, what theme or icon set you are using, etc.

nq can create very lightweight job queue systems which require no setup, maintenance, supervision, or any long-running processes.

Pam-mount is a PAM module to mount volumes when a user logs in. It can mount all local file systems supported by mount, as well as LUKS volumes encrypted with the user's log-in password.

rex runs a supplied command or shell script on several hosts in succession or in parallel. It can also be used to copy a file or files to several hosts.

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

wpa_supplicant is a WPA Supplicant with support for WPA and WPA2 (IEEE 802.11i / RSN). Supplicant is the IEEE 802.1X/WPA component that is used in the client stations. It implements key negotiation with a WPA Authenticator and it controls the roaming and IEEE 802.11 authentication/association of the WLAN driver.

This package provides the wpa_supplicant daemon and the wpa_cli command.

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

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.