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.

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.

The Router Advertisement Daemon (radvd) is run on systems acting as IPv6 routers. It sends Router Advertisement messages specified by RFC 2461 periodically and when requested by a node sending a Router Solicitation message. These messages are required for IPv6 stateless autoconfiguration.

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

IGT GPU Tools is a collection of tools for development and testing of the Intel DRM driver. There are many macro-level test suites that get used against the driver, including xtest, rendercheck, piglit, and oglconform, but failures from those can be difficult to track down to kernel changes, and many require complicated build procedures or specific testing environments to get useful results. Therefore, IGT GPU Tools includes low-level tools and tests specifically for development and testing of the Intel DRM Driver.

A daemon that monitors directories for events, such as creating, deleting or modifying files. It can monitor different sets of directories for different events. When an event is detected, direvent calls a specified external program with information about the event, such as the location within the file system where it occurred. Thus, "direvent" provides an easy way to react immediately if given files undergo changes, for example, to track changes in important system configuration files.

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

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.

This package inherits pam-mount but is compiled specifically for use with the greetd log-in manager. It uses a different configuration location and PAM name space from the original.

This allows greetd-pam-mount to auto-(un)mount XDG_RUNTIME_DIR without interfering with any pam-mount configuration.

Cpulimit limits the CPU usage of a process. It does not change the nice value or other scheduling priority settings, but the real CPU usage, and is able to adapt itself dynamically to the overall system load. Children processes and threads of the specified process may optionally share the same limits.

This package provides udev bindings for Python.

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.

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.

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 new Categories library for Agda

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

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.

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

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.