Mentions légales du service
Zen computational linguistics OCaml library
Fork of https://github.com/ANL-CESAR/XSBench
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
WhyMP is an arbitrary-precision integer library for C that is inspired by GMP, implemented in WhyML, and formally verified using Why3.
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
This is Rmod team website sources.
Changes made on pillar files generate HTML that are automatically published to https://rmod.gitlabpages.inria.fr/website/