Explore projects

GNU Guix packages of non-free HPC software, or free software depending on non-free software.

Extensions of GNU Guix for high-performance computing.

Perception Toolbox for Virtual Reality (PTVR) Researchers Project

Bvpy is a python library, based on FEniCS, Gmsh & Meshio, to easily implement and study numerically Boundary Value Problems and Initial Boundary Value Problems through the Finite Element Method.

GNU Guix packages of non-free HPC software, or free software depending on non-free software.

Additional ROS drivers for the Pepper robot.

Extensions of GNU Guix for high-performance computing.

diodon project with numpy

GNU Guix packages of non-free HPC software, or free software depending on non-free software.

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

A Coq formalization of real analysis compatible with the standard library.