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.

Dijitso provides a core component of the FEniCS framework, namely the just-in-time compilation of C++ code that is generated from Python modules. It is called from within a C++ library, using ctypes to import the dynamic shared library directly.

As long as the compiled code can provide a simple factory function to a class implementing a predefined C++ interface, there is no limit to the complexity of that interface. Parallel support depends on the mpi4py interface.

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.

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.

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.

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

fenics is a computing platform for solving general classes of problems that involve differential equations. fenics facilitates access to efficient methods for dealing with ordinary differential equations (ODEs) and partial differential equations (PDEs). Systems of equations such as these are commonly encountered in areas of engineering, mathematics and the physical sciences. It is particularly well-suited to problems that can be solved using the Finite Element Method (FEM).

fenics is the top level of the set of packages that are developed within the FEniCS project. It provides the python user interface to the FEniCS core components and external libraries.

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

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.

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.

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.

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.

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.

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.

There are various file formats available for representing unstructured meshes and mesh data. The meshio package is able to read and write mesh files in many formats and to convert files from one format to another. Formats such as cgns, h5m, gmsh, xdmf and vtk are supported. The package provides command-line tools and a collection of Python modules for programmatic use.

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 FEniCS Form Compiler (FFC) is a compiler for finite element variational forms. From a high-level description of the form, it generates efficient low-level C++ code that can be used to assemble the corresponding discrete operator (tensor). In particular, a bilinear form may be assembled into a matrix and a linear form may be assembled into a vector. FFC may be used either from the command line (by invoking the ffc command) or as a Python module (import ffc).

FFC is part of the FEniCS Project.

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.

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.

s6-rc is a service manager for s6-based systems, i.e. a suite of programs that can start and stop services, both long-running daemons and one-time initialization scripts, in the proper order according to a dependency tree. It ensures that long-running daemons are supervised by the s6 infrastructure, and that one-time scripts are also run in a controlled environment.

s6-linux-init is a set of minimalistic tools to create a s6-based init system, including an /sbin/init binary, on a Linux kernel.

It is meant to automate creation of scripts revolving around the use of other skarnet.org tools, especially s6, in order to provide a complete booting environment with integrated supervision and logging without having to hand-craft all the details.

s6-networking is a suite of small networking utilities for Unix systems. It includes command-line client and server management, TCP access control, privilege escalation across UNIX domain sockets, IDENT protocol management and clock synchronization.

This package provides lightweight C libraries isolating the developer from portability issues, providing a unified systems API on all platforms, including primitive data types, cryptography, and POSIX concepts like sockets and file system operations. It is used by all skarnet.org software.