Explore projects

Translation of LTL formulae from JSON into Helena syntax.

Cours du module R101 "Accueil" du département STID de l'IUT de Villetaneuse

This project aims to create a python API that will allow users to directly call RDOS random generators from their own source code.

Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)

Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll

Standard Formalisms Library for CosyVerif

SOG-Based Multi-Core LTL Model Checking