PIPER application

Dense linear algebra subroutines for heterogeneous and distributed architectures

Towards a lightweight ParaView alternative.

A set of commonly used widgets written using Qt5.

A library to build experimental frameworks on multiple platforms

A project providing digital recognition of handwritten documents using machine learning techniques.

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.

command line interface to the Grew library

The web interface for searching grew patterns in corpora

Extensions of GNU Guix for high-performance computing.

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

Phd thesis template for the UBL MathSTIC doctoral school:

https://ed-mathstic.u-bretagneloire.fr/fr/8_soutenance-de-these

Collection of CMake modules that can be shared among projects