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: