Explore projects

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

If you want to report bugs, or participate in cado-nfs development, read this

Extensions of GNU Guix for high-performance computing.

Java model of GMM and TM.

Extensions of GNU Guix for high-performance computing.

https://learninglab.gitlabpages.inria.fr/serious-game/smartphone

Verifiable online voting system http://www.belenios.org

Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).

SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

Contains the code for the webinterface of botascopia

Mirror for CI/CD purposes only.

Extensions of GNU Guix for high-performance computing.