This package provides an interactive setup for zsh preconfigured by the Grml project.

trash-cli is a command line utility for interacting with the FreeDesktop.org trash can used by GNOME, KDE, XFCE, and other common desktop environments. It can move files to the trash, and remove or list files that are already there.

The fzf-tab package replaces the default completion menu of the zsh shell with fzf, enabling fuzzy finding and multi-selection.

This projects aims at gathering/developing new completion scripts that are not available in Zsh yet. The scripts may be contributed to the Zsh project when stable enough.

grc can be used to colourise logfiles, output of shell commands, arbitrary text, etc. Many shell commands are supported out of the box.

You might want to add these lines you your ~/.bashrc:

GRC_ALIASES=true
source $GUIX_ENVIRONMENT:-$HOME/.guix-profile/etc/profile.d/grc.sh

This command-line filter program draws ASCII-art boxes around your input text.

Most other fuzzy matchers sort based on the length of a match. fzy tries to find the result the user intended. It does this by favouring matches on consecutive letters and starts of words. This allows matching using acronyms or different parts of the path.

fzy is designed to be used both as an editor plugin and on the command line. Rather than clearing the screen, fzy displays its interface directly below the current cursor position, scrolling the screen if necessary.

Envstore is a program for sharing environment variables between various shells or commands.

Liquidprompt is an adaptive prompt for Bash and Zsh that gives you a nicely displayed prompt with useful information when you need it. It does this with a powerful theming engine and a large array of data sources.

In order to use liquidprompt with Zsh, you should use the following snippet with Guix Home:

(service home-zsh-service-type
         (home-zsh-configuration
           (zshrc (list ;;...
                    ;; This loads liquidprompt
                    (mixed-text-file "liquidprompt"
                                     "[[ $- = *i* ]] && source " liquidprompt "/share/liquidprompt/liquidprompt")
                    ;; This loads the powerline theme available in liquidprompt
                    (mixed-text-file "powerline-theme"
                                     "source " liquidprompt "/share/liquidprompt/themes/powerline/powerline.theme"))))))

pay-respects provides a shell helper to suggest correction for mistyped commands, with guix locate integration and an alias (default to f) to correct the previous command.

This package provides syntax highlighting for Zsh. It enables highlighting of commands whilst they are typed at a Zsh prompt into an interactive terminal. This helps in reviewing commands before running them, particularly in catching syntax errors.

Tracks your most used directories, based on ``frecency''. After a short learning phase, z will take you to the most ``frecent'' directory that matches all of the regexes given on the command line in order.

RIG (Random Identity Generator) generates random, yet real-looking, personal data. It is useful if you need to feed a name to a Web site, BBS, or real person, and are too lazy to think of one yourself. Also, if the Web site/BBS/person you are giving the information to tries to cross-check the city, state, zip, or area code, it will check out.

The ascii utility provides easy conversion between various byte representations and the American Standard Code for Information Interchange (ASCII) character table. It knows about a wide variety of hex, binary, octal, Teletype mnemonic, ISO/ECMA code point, slang names, XML entity names, and other representations. Given any one on the command line, it will try to display all others. Called with no arguments it displays a handy small ASCII chart.

This package provides The minimal, blazing-fast, and infinitely customizable prompt for any shell!

• Fast: it's fast - *really really* fast :rocket:

• Customizable: configure every aspect of your prompt

• Universal: works on any shell, on any operating system

• Intelligent: shows relevant information at a glance

• Feature rich: support for all your favorite tools

• Easy: quick to install - start using it in minutes

Note: users must have a nerd font installed and enabled in their terminal

HSTR (HiSToRy) is a command-line utility that brings improved Bash and Zsh command completion from the history. It aims to make completion easier and more efficient than with Ctrl-R. It allows you to easily view, navigate, and search your command history with suggestion boxes. HSTR can also manage your command history (for instance you can remove commands that are obsolete or contain a piece of sensitive information) or bookmark your favourite commands.

SIMH is a highly portable, multi-system simulator. SIMH implements simulators for:

• Data General Nova, Eclipse.

• Digital Equipment Corporation PDP-1, PDP-4, PDP-7, PDP-8, PDP-9, PDP-10, PDP-11, PDP-15, VAX.

• GRI Corporation GRI-909, GRI-99.

• IBM 1401, 1620, 1130, 7090/7094, System 3.

• Interdata (Perkin-Elmer) 16b and 32b systems.

• Hewlett-Packard 2114, 2115, 2116, 2100, 21MX, 1000.

• Honeywell H316/H516.

• MITS Altair 8800, with both 8080 and Z80.

• Royal-Mcbee LGP-30, LGP-21.

• Scientific Data Systems SDS 940.

• SWTP 6800.

The FInite element Automatic Tabulator (FIAT) supports generation of arbitrary order instances of the Lagrange elements on lines, triangles, and tetrahedra. It is also capable of generating arbitrary order instances of Jacobi-type quadrature rules on the same element shapes. Further, H(div) and H(curl) conforming finite element spaces such as the families of Raviart-Thomas, Brezzi-Douglas-Marini and Nedelec are supported on triangles and tetrahedra. Upcoming versions will also support Hermite and nonconforming elements.

FIAT is part of the FEniCS Project.

The goal of pygmsh is to combine the power of Gmsh with the versatility of Python. The package generalises many of the methods and functions that comprise the Gmsh Python API. In this way the meshing of complex geometries using high-level abstractions is made possible. The package provides a Python library together with a command-line utility for mesh optimisation.

esmini is a tool to play OpenSCENARIO files. It is provided as both a standalone application and a shared library and has some support for generating and analysing traffic scenarios..

The Unified Form Language (UFL) is a domain specific language for declaration of finite element discretizations of variational forms. More precisely, it defines a flexible interface for choosing finite element spaces and defining expressions for weak forms in a notation close to mathematical notation.

UFL is part of the FEniCS Project.

SUMO is a traffic simulation package designed to handle large road networks and different modes of transportation -- including road vehicles, public transport and pedestrians. Included with SUMO is a wealth of supporting tools which automate core tasks for the creation, the execution and evaluation of traffic simulations, such as network import, route calculations, visualization and emission calculation. SUMO can be enhanced with custom models and provides various APIs to remotely control the simulation.

DOLFIN is a computational framework for finding numerical solutions to problems described by differential equations. Numerical models in DOLFIN are constructed using general families of finite elements. Data structures are provided for discretizing the governing system on a computational mesh. A compact syntax, similar to mathematical notation, is made available for defining function spaces and expressing variational forms. Interfaces to specialized matrix solvers are provided for solving the resultant linear systems.

fenics-dolfin is part of the FEniCS project. It is the C++ user interface to the FEniCS core components and external libraries.

This package provides vehicle models used in CommonRoad benchmarks. Varying abstraction levels are used ranging from kinematic single track models to multi-body models.