_            _    _        _         _
      /\ \         /\ \ /\ \     /\_\      / /\
      \_\ \       /  \ \\ \ \   / / /     / /  \
      /\__ \     / /\ \ \\ \ \_/ / /     / / /\ \__
     / /_ \ \   / / /\ \ \\ \___/ /     / / /\ \___\
    / / /\ \ \ / / /  \ \_\\ \ \_/      \ \ \ \/___/
   / / /  \/_// / /   / / / \ \ \        \ \ \
  / / /      / / /   / / /   \ \ \   _    \ \ \
 / / /      / / /___/ / /     \ \ \ /_/\__/ / /
/_/ /      / / /____\/ /       \ \_\\ \/___/ /
\_\/       \/_________/         \/_/ \_____\/
ocaml4.07-dune 1.11.3
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/ocaml/dune
Licenses: Expat
Synopsis: OCaml build system
Description:

Dune is a build system for OCaml. It provides a consistent experience and takes care of the low-level details of OCaml compilation. Descriptions of projects, libraries and executables are provided in dune files following an s-expression syntax.

ocaml-dune-site 3.12.2
Propagated dependencies: dune@3.11.0 ocaml-lwt@5.7.0 ocaml-base@0.15.0 ocaml-odoc@2.2.0
Channel: zzkt
Location: zzkt/packages/soupault.scm (zzkt packages soupault)
Home page: https://github.com/ocaml/dune
Licenses: Expat
Synopsis: Embed locations information inside executable and libraries
#<unspecified>
emacs-dune-format 20210505.108
Propagated dependencies: emacs-reformatter@20241204.1051
Channel: emacs
Location: emacs/packages/melpa.scm (emacs packages melpa)
Home page: https://github.com/purcell/emacs-dune-format
Licenses:
Synopsis: Reformat OCaml's dune files automatically
Description:

Documentation at https://melpa.org/#/dune-format

dune-private-libs 3.11.0
Propagated dependencies: dune-configurator@3.11.0
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/ocaml/dune
Licenses: Expat
Synopsis: Private libraries of Dune
Description:

This package contains code that is shared between various dune packages. However, it is not meant for public consumption and provides no stability guarantee.

dune-grid-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 dune-geometry-openmpi@2.10.0 gmp@6.3.0 metis@5.1.0 openblas@0.3.29 python@3.11.11 openmpi@4.1.6
Propagated dependencies: dune-uggrid-openmpi@2.10.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

DUNE, the Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods. It supports the easy implementation of methods like Finite Elements (FE), Finite Volumes (FV), and also Finite Differences (FD).

This package contains the basic DUNE grid classes.

dune-configurator 3.11.0
Propagated dependencies: ocaml-csexp@1.5.1
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/ocaml/dune
Licenses: Expat
Synopsis: Dune helper library for gathering system configuration
Description:

Dune-configurator is a small library that helps writing OCaml scripts that test features available on the system, in order to generate config.h files for instance. Among other things, dune-configurator allows one to:

  • test if a C program compiles

  • query pkg-config

  • import #define from OCaml header files

  • generate config.h file

dune-istl-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 metis@5.1.0 suitesparse@5.13.0 superlu@5.3.0 openblas@0.3.29 gmp@6.3.0 python@3.11.11 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

DUNE, the Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods.

This is the iterative solver template library which provides generic sparse matrix/vector classes and a variety of solvers based on these classes. A special feature is the use of templates to exploit the recursive block structure of finite element matrices at compile time. Available solvers include Krylov methods, (block-) incomplete decompositions and aggregation-based algebraic multigrid.

dune-pdelab-openmpi 2.8.0-0.d5dddb6
Dependencies: dune-common-openmpi@2.10.0 dune-istl-openmpi@2.10.0 dune-localfunctions-openmpi@2.10.0 dune-geometry-openmpi@2.10.0 dune-grid-openmpi@2.10.0 dune-typetree-openmpi@2.10.0 dune-functions-openmpi@2.10.0 openblas@0.3.29 eigen@3.4.0 metis@5.1.0 python@3.11.11 superlu@5.3.0 gmp@6.3.0 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: LGPL 3+ GPL 2
Synopsis: Differential equations solver toolbox (with MPI support)
Description:

PDELab is a partial differential equations solver toolbox built on top of DUNE, the Distributed and Unified Numerics Environment.

dune-common-openmpi 2.10.0
Dependencies: gmp@6.3.0 metis@5.1.0 openblas@0.3.29 python@3.11.11 superlu@5.3.0 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

DUNE, the Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods. It supports the easy implementation of methods like Finite Elements (FE), Finite Volumes (FV), and also Finite Differences (FD).

dune-uggrid-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: LGPL 2.1
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

DUNE, the Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods. It supports the easy implementation of methods like Finite Elements (FE), Finite Volumes (FV), and also Finite Differences (FD).

This package contains the DUNE UG grid classes.

dune-localfunctions 2.10.0
Dependencies: dune-common@2.10.0 dune-geometry@2.10.0 metis@5.1.0 superlu@5.3.0 gmp@6.3.0
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2
Synopsis: Distributed and Unified Numerics Environment
Description:

This DUNE module provides interface and implementation for shape functions defined on the DUNE reference elements. In addition to the shape function, interpolation operators and special keys are provided which can be used to assemble global function spaces on finite-element grids.

This package provides an interface and implementation for shape functions defined on the DUNE reference elements. In addition to the shape function, interpolation operators and special keys are provided which can be used to assemble global function spaces on finite-element grids.

dune-alugrid-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 dune-geometry-openmpi@2.10.0 dune-grid-openmpi@2.10.0 metis@5.1.0 openblas@0.3.29 python@3.11.11 superlu@5.3.0 gmp@6.3.0 zlib@1.3 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2+
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

ALUGrid is an adaptive, loadbalancing, unstructured implementation of the DUNE grid interface supporting either simplices or cubes.

dune-subgrid-openmpi 2.10.0-1.e71cc9c
Dependencies: dune-common-openmpi@2.10.0 dune-geometry-openmpi@2.10.0 dune-grid-openmpi@2.10.0 metis@5.1.0 openblas@0.3.29 gmp@6.3.0 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: http://numerik.mi.fu-berlin.de/dune-subgrid/index.php
Licenses: GPL 2+
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

The dune-subgrid module marks elements of another hierarchical dune grid. The set of marked elements can then be accessed as a hierarchical dune grid in its own right. Dune-Subgrid provides the full grid interface including adaptive mesh refinement.

dune-typetree-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 openblas@0.3.29 python@3.11.11 metis@5.1.0 superlu@5.3.0 gmp@6.3.0 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: LGPL 3+ GPL 2
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

TypeTree is a template library for constructing and operating on statically typed trees of objects.

dune-geometry-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 openblas@0.3.29 gmp@6.3.0 python@3.11.11 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

DUNE, the Distributed and Unified Numerics Environment is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods. It supports the easy implementation of methods like Finite Elements (FE), Finite Volumes (FV), and also Finite Differences (FD).

This package contains the basic DUNE geometry classes.

ocaml-dune-build-info 3.11.0
Propagated dependencies: ocaml-odoc@2.2.0
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/ocaml/dune
Licenses: Expat
Synopsis: Embed build information inside an executable
Description:

This package allows one to access information about how the executable was built, such as the version of the project at which it was built or the list of statically linked libraries with their versions. It supports reporting the version from the version control system during development to get an precise reference of when the executable was built.

dune-functions-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 dune-istl-openmpi@2.10.0 dune-localfunctions-openmpi@2.10.0 dune-grid-openmpi@2.10.0 dune-geometry-openmpi@2.10.0 dune-typetree-openmpi@2.10.0 openblas@0.3.29 metis@5.1.0 python@3.11.11 superlu@5.3.0 gmp@6.3.0 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: LGPL 3+ GPL 2
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

The dune-functions module provides an abstraction layer for global finite element functions. Its two main concepts are functions implemented as callable objects, and bases of finite element spaces.

ocaml5.0-dune-configurator 3.11.0
Propagated dependencies: ocaml5.0-csexp@1.5.1
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/ocaml/dune
Licenses: Expat
Synopsis: Dune helper library for gathering system configuration
Description:

Dune-configurator is a small library that helps writing OCaml scripts that test features available on the system, in order to generate config.h files for instance. Among other things, dune-configurator allows one to:

  • test if a C program compiles

  • query pkg-config

  • import #define from OCaml header files

  • generate config.h file

ocaml4.09-dune-configurator 3.11.0
Propagated dependencies: ocaml4.09-csexp@1.5.1
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/ocaml/dune
Licenses: Expat
Synopsis: Dune helper library for gathering system configuration
Description:

Dune-configurator is a small library that helps writing OCaml scripts that test features available on the system, in order to generate config.h files for instance. Among other things, dune-configurator allows one to:

  • test if a C program compiles

  • query pkg-config

  • import #define from OCaml header files

  • generate config.h file

dune-localfunctions-openmpi 2.10.0
Dependencies: dune-common-openmpi@2.10.0 dune-geometry-openmpi@2.10.0 metis@5.1.0 superlu@5.3.0 gmp@6.3.0 openmpi@4.1.6
Channel: guix
Location: gnu/packages/maths.scm (gnu packages maths)
Home page: https://dune-project.org/
Licenses: GPL 2
Synopsis: Distributed and Unified Numerics Environment (with MPI support)
Description:

This DUNE module provides interface and implementation for shape functions defined on the DUNE reference elements. In addition to the shape function, interpolation operators and special keys are provided which can be used to assemble global function spaces on finite-element grids.

This package provides an interface and implementation for shape functions defined on the DUNE reference elements. In addition to the shape function, interpolation operators and special keys are provided which can be used to assemble global function spaces on finite-element grids.

Page: 12
Total results: 44