Explore projects

GitLab mirror of https://github.com/math-comp/math-comp

Mirror for CI/CD purposes only.

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

Generates a bibliography for our website.

Web site of the Guix-HPC effort.

Itauto: an Extensible Intuitionistic SAT Solver

Présentation principale

Gathers technical materials to follow on what has been learnt and what is to be learnt

Containerized documentation of customer environments

This platform gives tools to manipulate Sanskrit data

Sanskrit linguistic resources under the Sanskrit Heritage Platform format

Tools to check the accuracy of mathematical functions

Gitlab for the course Foundational Principles of Machine Learning (FPML) in the CS Masters (M1 year), in the track Artificial Intelligence of the Paris Saclay University