The ACPICA project provides an OS-independent reference implementation of the ACPI specification. ACPICA code contains those portions of ACPI meant to be directly integrated into the host OS as a kernel-resident subsystem, and a small set of tools to assist in developing and debugging ACPI tables.

This package contains only the user-space tools needed for ACPI table development, not the kernel implementation of ACPI.

Lynis is a security auditing tool. It performs an in-depth security scan and runs on the system itself. The primary goal is to test security defenses and provide tips for further system hardening. It will also scan for general system information, vulnerable software packages, and possible configuration issues.

This package provides tools to manage clients of the Logitech Unifying Receiver.

This package provides a simple, configurable system information tool.

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.

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.

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

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.

Netcat is a simple Unix utility which reads and writes data across network connections using TCP or UDP 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 package contains the OpenBSD rewrite of netcat, including support for IPv6, proxies, and Unix sockets.

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.

Stress is a tool that imposes a configurable amount of CPU, memory, I/O, or disk stress on a POSIX-compliant operating system and reports any errors it detects.

Stress is not a benchmark. It is a tool used by system administrators to evaluate how well their systems will scale, by kernel programmers to evaluate perceived performance characteristics, and by systems programmers to expose the classes of bugs which only or more frequently manifest themselves when the system is under heavy load.

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.

Runitor runs the supplied command, captures its output, and based on its exit code reports successful or failed execution to https://healthchecks.io or your private instance.

WakeLan broadcasts a properly formatted UDP packet across the local area network, which causes enabled computers to power on.

Prips can be used to print all of the IP addresses in a given range. This allows the enhancement of tools only work on one host at a time (e.g. whois).

Sysdig is a simple tool for deep system visibility, with native support for containers. It combines features of multiple system administration tools such as the strace, tcpdump, htop, iftop and lsof into a single interface. The novel architecture of the tool means that the performance impact of the tracing on the system is very light, compared to the likes of strace. The sysdig command has an interface similar to strace, while the csysdig command is better suited for interactive used, and has a user interface similar to htop.

If you use Guix System, the kernel Linux has BPF support, and you should launch this tool using the --modern-bpf argument of the sysdig or csysdig commands. The following Bash aliases can be added to your ~/.bash_profile file, for example:

alias sysdig=sudo sysdig --modern-bpf alias cysdig=sudo csysdig --modern-bpf

GNU Radius is a server for remote user authentication and accounting. It is generally useful for networks that require a centralized authentication and accounting services for its workstations. Authentication can be performed in a variety of ways, such as via /etc/passwd or credentials stored in an SQL database.

This package contains a debugging tool for Allwinner devices (connects via USB OTG).

Dmidecode reports information about your system's hardware as described in your system BIOS according to the SMBIOS/DMI standard. This typically includes system manufacturer, model name, serial number, BIOS version, asset tag as well as a lot of other details of varying level of interest and reliability depending on the manufacturer. This will often include usage status for the CPU sockets, expansion slots (e.g. AGP, PCI, ISA) and memory module slots, and the list of I/O ports (e.g. serial, parallel, USB).

This package provides udev bindings for Python.

GNU Rot[t]log is a program for managing log files. It is used to automatically rotate out log files when they have reached a given size or according to a given schedule. It can also be used to automatically compress and archive such logs. Rot[t]log will mail reports of its activity to the system administrator.

Atop is an ASCII full-screen performance monitor for Linux that is capable of reporting the activity of all processes (even processes have finished during the monitoring interval), daily logging of system and process activity for long-term analysis, highlighting overloaded system resources by using colors, etc. At regular intervals, it shows system-level activity related to the CPU, memory, swap, disks (including LVM) and network layers, and for every process (and thread) it shows e.g. the CPU utilization, memory growth, disk utilization, priority, username, state, and exit code.

Agda is a dependently typed functional programming language: it has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: it is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL.

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.