This package provides a command line tool that can give numerous reports on memory usage on GNU/Linux systems.

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.

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.

Nmon is yet another system monitor useful in systems administration, debugging, tuning, and benchmarking.

The configurable ncurses interface displays all the classic resource usage statistics (CPU, memory, network, disk, ...) as real-time graphs or numbers. It can also list the processes responsible in a top-like table.

A less common nmon feature is its ability to create highly detailed log files in CSV format. These can be imported into spreadsheets or fed straight into an RRD using rrdtool for further analysis, or to create colourful graphs.

Dool is a command line tool to monitor many aspects of your system: CPU, Memory, Network, Load Average, etc. It also includes a robust plug-in architecture to allow monitoring other system metrics.

ngrep is like GNU grep applied to the network layer. It's a PCAP-based tool that allows you to specify an extended regular or hexadecimal expression to match against data payloads of packets. It understands many kinds of protocols, including IPv4/6, TCP, UDP, ICMPv4/6, IGMP and Raw, across a wide variety of interface types, and understands BPF filter logic in the same fashion as more common packet sniffing tools, such as tcpdump and snoop.

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.

dfc (df color) is a modern version of df. It uses colors, draws pretty graphs and can export its output to different formats.

This package provides a way to figure out which processes communicate with which other processes. It provides more usable versions of ps, top and pstree.

Munge is an authentication service for creating and validating credentials. It allows a process to authenticate the UID and GID of another local or remote process within a group of hosts having common users and groups. These hosts form a security realm that is defined by a shared cryptographic key. Clients within this security realm can create and validate credentials without the use of root privileges, reserved ports, or platform-specific methods.

Nmap ("Network Mapper") is a network discovery and security auditing tool. It is also useful for tasks such as network inventory, managing service upgrade schedules, and monitoring host or service uptime. It also provides an advanced netcat implementation (ncat), a utility for comparing scan results (ndiff), and a packet generation and response analysis tool (nping).

lr is a tool for generating file listings, which includes the best features of ls(1), find(1), stat(1) and du(1).

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

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.

The Fuck tries to match a rule for a previous, mistyped command, creates a new command using the matched rule, and runs it.

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.

Spindle is a tool for improving the performance of dynamic library and Python loading in HPC environments.

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.

Autojump provides a faster way to navigate your file system, with a "cd command that learns". It works by maintaining a database of the directories you use the most from the command line and allows you to "jump" to frequently used directories by typing only a small pattern.

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.

A new Categories library for Agda

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