libdolfinx-complex0.8

Shared libraries for DOLFIN

DOLFIN is the Python and C++ interface of the FEniCS project for the automated solution of differential equations, providing a consistent PSE (Problem Solving Environment) for solving ordinary and partial differential equations. Key features include a simple, consistent and intuitive object-oriented API; automatic and efficient evaluation of variational forms; automatic and efficient assembly of linear systems; and support for general families of finite elements.

pkcs11-provider

OpenSSL 3 provider for PKCS11

With this provider for OpenSSL you can use the OpenSSL library (version 3) and command line tools with any PKCS11 implementation as backend for the crypto operations.

libcoq-extructures

data structures with extensional reasoning for Coq

This Coq plugin provides finite sets, maps and other data structures with extensional reasoning.

libcoq-hammer-tactics

automated reasoning tool for Coq (tactics)

Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof.

python3-brotlicffi

Python CFFI bindings for the reference Brotli encoder/decoder

This library contains Python CFFI bindings for the reference Brotli encoder/decoder, https://github.com/google/brotli . This allows Python software to use the Brotli compression algorithm directly from Python code.

libnfft3-double4

library for computing non-uniform Fourier transforms (double precision)

NFFT3 is a software library written in C for computing nonequispaced fast Fourier and related transformations. In detail, NFFT3 implements: