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.

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.

SimPy is a process-based discrete-event simulation framework based on standard Python. Processes in SimPy are defined by Python generator functions and can, for example, be used to model active components like customers, vehicles or agents. SimPy also provides various types of shared resources to model limited capacity congestion points (like servers, checkout counters and tunnels).

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

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.

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

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.

s6-dns is a suite of DNS client programs and libraries for Unix systems, as an alternative to the BIND, djbdns or other DNS clients.

Execline is a (non-interactive) scripting language, separated into a parser (execlineb) and a set of commands meant to execute one another in a chain-execution fashion, storing the whole script in the argument array. It features conditional loops, getopt-style option handling, file name globbing, redirection and other shell concepts, expressed as discrete commands rather than in special syntax, minimizing runtime footprint and complexity.

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.

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.

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.

s6 is a small suite of programs for UNIX, designed to allow process supervision (a.k.a. service supervision), in the line of daemontools and runit, as well as various operations on processes and daemons. It is meant to be a toolbox for low-level process and service administration, providing different sets of independent tools that can be used within or without the framework, and that can be assembled together to achieve powerful functionality with a very small amount of code.

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-utils is a set of minimalistic Linux-specific system utilities, such as mount, umount, and chroot commands, Linux uevent listeners, a devd device hotplug daemon, and more.

s6-portable-utils is a set of tiny general Unix utilities, often performing well-known tasks such as cut and grep, but optimized for simplicity and small size. They were designed for embedded systems and other constrained environments, but they work everywhere.

Skribilo is a free document production tool that takes a structured document representation as its input and renders that document in a variety of output formats: HTML and Info for on-line browsing, and Lout and LaTeX for high-quality hard copies.

The input document can use Skribilo's markup language to provide information about the document's structure, which is similar to HTML or LaTeX and does not require expertise. Alternatively, it can use a simpler, “markup-less” format that borrows from Emacs' outline mode and from other conventions used in emails, Usenet and text.

Lastly, Skribilo provides Guile Scheme APIs.

Most is a paging text viewer. It displays the contents of a file or the output of a command on the terminal, one screenful at a time, and lets you scroll up and down to (re)view the entire text.

You can open multiple windows within most to view different files, or to inspect different parts of the same file, at the same time.

S-Lang is a multi-platform programmer's library designed to allow a developer to create robust multi-platform software. It provides facilities required by interactive applications such as display/screen management, keyboard input, keymaps, and so on. The most exciting feature of the library is the slang interpreter that may be easily embedded into a program to make it extensible. While the emphasis has always been on the embedded nature of the interpreter, it may also be used in a stand-alone fashion through the use of slsh, which is part of the S-Lang distribution.

Newt is a windowing toolkit for text mode built from the slang library. It allows color text mode applications to easily use stackable windows, push buttons, check boxes, radio buttons, lists, entry fields, labels, and displayable text. Scrollbars are supported, and forms may be nested to provide extra functionality.

Pharo aims to provide a clean and innovative Smalltalk-inspired environment. With a stable and small core system, advanced development tools, and maintained releases, the Pharo platform can be used to build and deploy mission critical applications.

Squeak is a full-featured implementation of the Smalltalk programming language and environment based on (and largely compatible with) the original Smalltalk-80 system. Squeak has very powerful 2- and 3-D graphics, sound, video, MIDI, animation and other multimedia capabilities. It also includes a customisable framework for creating dynamic HTTP servers and interactively extensible Web sites.