Neofetch is a command-line system information tool written in Bash. Neofetch displays information about your system next to an image, your OS logo, or any ASCII file of your choice. The main purpose of Neofetch 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.

This project aims to provide an extension to the Shepherd, retraining it as a swineherd, a manager of crude system containers. It does this by providing a Shepherd service swineherd that talks to the Shepherd process to create Guix System containers as Shepherd services. It also comes with an optional HTTP API server.

The witr (why-is-this-running), is a utility to show:

1. What is running?

2. How did it start?

3. What is keeping it running?

4. What context does it belong to?

It shows which process uses the port, and its information like process tree, working directory, user, pid, command, and so on.

wpa_supplicant is a WPA Supplicant with support for WPA and WPA2 (IEEE 802.11i / RSN). Supplicant is the IEEE 802.1X/WPA component that is used in the client stations. It implements key negotiation with a WPA Authenticator and it controls the roaming and IEEE 802.11 authentication/association of the WLAN driver.

This package provides the wpa_supplicant daemon and the wpa_cli command.

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.

Prips can be used to print all of the IP addresses in a given range. This allows the enhancement of tools only work on one host at a time (e.g. whois).

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.

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.

Resource monitor that shows usage and stats for processor, memory, disks, network and processes.

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.

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.

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

hungrycat prints the contents of a file to standard output, while simultaneously freeing the disk space it occupied. It is useful if you need to process a large file, don't have enough space to store both the input and output files, and don't need the input file afterwards. While similar in principle to running cat immediately followed by rm, hungrycat actually frees blocks as soon as they are printed instead of after the entire file has been read, which is often too late.

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

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.

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

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.

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

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.

ZXing-CPP is a barcode scanning library.

qrcodegen-cpp is a QR code generator library in C++. The project also offers Java, Javascript, Python, C, and Rust implementations.