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.

Resource monitor that shows usage and stats for processor, memory, disks, network and processes. It's a Python port and continuation of bashtop.

pam_uaccess is a PAM module that grants access to devices tagged uaccess in udev for the duration of the users' session, replacing elogind's uaccess feature.

Inetutils is a collection of common network programs, such as an ftp client and server, a telnet client and server, an rsh client and server, and hostname.

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.

GNU Alive sends periodic pings to a server, generally to keep a connection alive.

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.

Ktsuss stands for ``Keep the su simple, stupid''. It is a graphical version of su written in C and GTK+ 2, with simplicity in mind.

Iftop does for network usage what top does for CPU usage. It listens to network traffic on a named interface and displays a table of current bandwidth usage by pairs of hosts.

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.

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.

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

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.

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.

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.

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

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

A new Categories library for Agda

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.