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.

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).

This package provides an implementation of the MAC-Telnet protocol used by RouterOS devices. It provides the following commands:

macping

Ping RouterOS devices or mactelnetd hosts.

mactelnetd

MAC-Telnet daemon.

mactelnet

MAC-Telnet client.

mndp

Discover other RouterOS devices or mactelnetd hosts.

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.

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

Dstat is a versatile replacement for vmstat, iostat, netstat, and ifstat. Dstat overcomes some of their limitations and adds some extra features, more counters and flexibility. Dstat is handy for monitoring systems during performance tuning tests, benchmarks or troubleshooting.

Dstat allows you to view all of your system resources in real-time, you can, e.g., compare disk utilization in combination with interrupts from your IDE controller, or compare the network bandwidth numbers directly with the disk throughput (in the same interval).

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

This package contains a set of utilities for cloud computing environments:

• cloud-localds Create a disk for cloud-init to utilize nocloud

• cloud-publish-image Wrapper for cloud image publishing

• cloud-publish-tarball Wrapper for publishing cloud tarballs

• cloud-publish-ubuntu Import a Ubuntu cloud image

• ec2metadata Query and display EC2 metadata

• growpart Grow a partition to fill the device

• mount-image-callback Mount a file and run a command

• resize-part-image Resize a partition image to a new size

• ubuntu-cloudimg-query Get the latest Ubuntu AMI

• ubuntu-ec2-run Run a EC2 instance using Ubuntu

• vcs-run Obtain a repository, and run a command

• write-mime-multipart Handle multipart MIME messages

Rdfind is a command line tool that finds duplicate files based on their content instead of their file names. It is useful for compressing backup directories or just finding duplicate files.

The Linux Thermal Daemon helps monitor and control temperature on systems running the Linux kernel.

Facter is a tool that gathers basic facts about nodes (systems) such as hardware details, network settings, OS type and version, and more. These facts can be collected on the command line with the facter command or via the facter Ruby library.

UwUFetch is a system information tool in the lineage of NeoFetch, PFetch, HyFetch, and the like. It prints ASCII art of your system's logo as well as a summary of system information. UwUFetch's unique contribution is the uwu-ification of various words used in the description. For example, Guix becomes gUwUix.

Bash screenshot information tool which can be used to generate those nifty terminal theme information and ASCII distribution logos in everyone's screenshots nowadays.

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.

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.

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.

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.

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.

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.

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

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.

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

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.