Explore projects
-
Updated
-
Updated
-
AlphaZ developed at CSU and CAIRN. This repository is a migration of old sources that were in separate locations.
Updated -
Communication-Aware Task Scheduling Strategy in Hybrid MPI+OpenMP Applications
Updated -
This project provide some floating-point to fixed-point conversion tools such as Accuracy analysis, Dynamic range propagation, code generation etc.
Updated -
-
-
Repository to store all my code from my internship at Laboratoire d'Informatique du Parallélisme
Updated -
-
-
The report of my internship done in 2021, supervised by Ludovic Henrio and Yannick Zakowsky. It was about implementing a bisimulation parametrized by an equational theory on interaction trees.
Updated -
ANGELETTI Florian / monolith
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
An implementation of a causal and interactive model for a concurrent MiniOCaml
Updated -
Updated
-
DE SOUZA Corentin / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
Quantitative corpora description / Corpora description
CeCILL Free Software License Agreement v2.1Provides information on several corpus
Updated -
Updated
-
Updated