This package provides a system fetch tool, similar to neofetch, fastfetch, etc. It is lightweight and has a focus on performance. It can be used as a greeter by starting it from ~/.bashrc for example.

This package provides a graphical console greeter for greetd. It doesn't need a Wayland compositor to be used.

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.

The smartmontools package contains utility programs to control and monitor storage systems using the Self-Monitoring, Analysis and Reporting Technology System (S.M.A.R.T.) built into most modern ATA and SCSI hard disks. In many cases, these utilities will provide advanced warning of disk degradation and failure.

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

The Cactus File Manager (cfm) helps you manage your files visually from a text terminal. It aims to be simple and fast, with key bindings inspired by vi.

Detox is a program that renames files to make them easier to work with under Unix and related operating systems. Spaces and various other unsafe characters (such as "$") get replaced with "_". ISO 8859-1 (Latin-1) characters can be replaced as well, as can UTF-8 characters.

Sipcalc is an advanced command-line IP subnet calculator. It can take multiple forms of input (IPv4/IPv6/interface/hostname) and output a multitude of information about a given subnet.

Features include:

• IPv4

  • Retrieving of address information from interfaces.

  • Classfull and CIDR output.

  • Multiple address and netmask input and output formats (dotted quad, hex, number of bits).

  • Output of broadcast address, network class, Cisco wildcard, hosts/range, network range.

  • The ability to split a network based on a smaller netmask, now also with recursive runs on the generated subnets. (also IPv6)

• IPv6

  • Compressed and expanded input and output addresses.

  • Standard IPv6 network output.

  • v4 in v6 output.

  • Reverse DNS address generation.

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.

ISC's Dynamic Host Configuration Protocol (DHCP) distribution provides a reference implementation of all aspects of DHCP, through a suite of DHCP tools: server, client, and relay agent.

This software is end-of-life! ISC does not intend to issue any further maintenance releases.

fdupes is a program for identifying duplicate files residing within specified directories.

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.

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.

HyFetch is a command-line system information tool fork of neofetch. HyFetch displays information about your system next to your OS logo in ASCII representation. The ASCII representation is then colored in the pattern of the pride flag of your choice. The main purpose of HyFetch is to be used in screenshots to show other users what operating system or distribution you are running, what theme or icon set you are using, etc.

A new Categories library for Agda

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.

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

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.

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.

ZBar can read barcodes from various sources, such as video streams, image files, and raw intensity sensors. It supports EAN-13/UPC-A, UPC-E, EAN-8, Code 128, Code 93, Code 39, Codabar, Interleaved 2 of 5, QR Code and SQ Code. Included with the library are basic applications for decoding captured bar code images and using a video device (e.g. webcam) as a bar code scanner. For application developers, language bindings are included for C, C++ and Python as well as GUI widgets for GTK and Qt.

Libqrencode is a C library for encoding data in a QR Code symbol, a kind of 2D symbology that can be scanned by handy terminals such as a mobile phone with CCD. The capacity of QR Code is up to 7000 digits or 4000 characters, and is highly robust.

Read one-dimensional barcodes and QR codes using the zbar library.

Features:

• Pure python

• Works with PIL / Pillow images, OpenCV / numpy ndarrays, and raw bytes

• Decodes locations of barcodes

• No dependencies, other than the zbar library itself