Explore projects

Mirror for CI/CD purposes only.

Sources of the Abstract Categorial Development toolkit.

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

Tools to check the accuracy of mathematical functions

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

Implementing symbolic data structure numeric grounding

Web site of the Guix-HPC effort.

Itauto: an Extensible Intuitionistic SAT Solver

Itauto: an Extensible Intuitionistic SAT Solver

Image processing encapsulation via web interface