Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A generic testing approach for a wide range of executable DSLs based on the TDL standard testing language
-
Orientation active (Kosmos)
-
-
Julia packages for the design of second-order IIR filters for multiplierless hardware.
-
RefacCert is a project to build a "proven correct" refactoring tool for C source code.
-
-
Modélisation 3D utiles dans la vie de tous les jours
-
-
RNAseq pipeline for gene expression quantification.
-
Réalisation d'un jeu d'échecs avec un plateau en bois (contreplaqué) et des pièces imprimées en 3D (PLA)
-
-
We propose a new theoretical method, based on Lyapunov's theory, to find estimated regions of attraction through the evaluation of invariant sets. We then propose two algorithms to solve this problem.
-
Show README.md & HEADER.md in the file view of NextCloud
-
-
-
-
-
-
-
