Full name Description Actions
TestCIProject Description of your software. Tools used to build and test your software.
cado-nfs cado-nfs, an implementation of the number field sieve.

mostly uses gitlab-ci as in https://gitlab.inria.fr/cado- [...]
ScimBa Scimba is a python library that gathers some tools for scientific machine learning, some examples on classical PDE and that is [...]
back to sequences Given a set of kmers (fasta / fastq [.gz] format) and a set of sequences (fasta / fastq [.gz] format), this tool will extract t [...]
pysemigroup runner for https://gitlab.inria.fr/cpaperma/pysemigroup
custom-runner-coq Description of your software. Tools used to build and test your software.
Gitlab-CI Gallery opentofu Gitlab-CI Gallery to illustrate orchestration with opentofu
custom runner vincent Description of your software. Tools used to build and test your software.