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

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.

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.

The file renaming utilities (renameutils for short) are a set of programs designed to make renaming of files faster and less cumbersome. The file renaming utilities consists of five programs: qmv, qcp, imv, icp, and deurlname.

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 package provides an interactive setup for zsh preconfigured by the Grml project.

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.

This Zsh plugin auto-closes, deletes, and skips over matching delimiters in Zsh intelligently.

direnv can hook into the bash, zsh, tcsh, and fish shells to load or unload environment variables depending on the current directory. This allows project-specific environment variables without using ~/.profile.

Before each prompt, direnv checks for the existence of a .envrc file in the current and parent directories. This file is then used to alter the environment variables of the current shell.

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

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.

OpenFOAM provides a set of solvers and methods for tackling problems in the field of Computational Fluid Dynamics (CFD). It is written in C++. Governing equations such as the Navier-Stokes equations can be solved in integral form. Physical processes such as phase change, droplet transport and chemical reaction can be modelled. Numerical methods are included to deal with sharp gradients, such as those encountered in flows with shock waves and flows with gas/liquid interfaces. Large problems may be split into smaller, connected problems for efficient solution on parallel systems.

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

OpenFOAM provides a set of solvers and methods for tackling problems in the field of Computational Fluid Dynamics (CFD). It is written in C++. Governing equations such as the Navier-Stokes equations can be solved in integral form. Physical processes such as phase change, droplet transport and chemical reaction can be modelled. Numerical methods are included to deal with sharp gradients, such as those encountered in flows with shock waves and flows with gas/liquid interfaces. Large problems may be split into smaller, connected problems for efficient solution on parallel systems.

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.

This package provides methods to read, write, and visualize CommonRoad scenarios and planning problems. It can be used as a framework for implementing motion planning algorithms to solve CommonRoad Benchmarks and is the basis for other tools of the CommonRoad Framework.

The Open Simulation Interface is a generic interface based on Google's protocol buffers for the environmental perception of automated driving functions in virtual scenarios.

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

This package provides functions for route planning, that is finding sequences that lead from a given start lanelet to some goal lanelet(s).

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.

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.

FullSWOF_2d is a numerical tool for solving the shallow water equations on structured grids. The name FullSWOF refers to the Full form of the Shallow Water equations for Overland Flow. The discretized system of equations is solved using the finite volume method. A choice of shock-capturing methods is available to locate the transition boundaries between the wet areas and the dry areas in the model. A semi-implicit method is used to advance the solution in time. The tool is typically applied to the modelling of river flooding.

python-dolfin-adjoint is a solver of differential equations associated with a governing system and a functional of interest. Working from the forward model the solver automatically derives the discrete adjoint and tangent linear models. These additional models are key ingredients in many algorithms such as data assimilation, optimal control, sensitivity analysis, design optimisation and error estimation. The dolfin-adjoint project provides the necessary tools and data structures for cases where the forward model is implemented in fenics or firedrake.