Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
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
-
-