Explore projects
-
FEKETE Jean-Daniel / PPCA
BSD 2-Clause "Simplified" LicenseProgressive Principal Component Analysis
Updated -
This repository contains the examples of the CSF18 paper: "C. Jacomme and S. Kremer. An extensive formal analysis of multi-factor authentication protocols. In CSF'18, pages 1-15. IEEE Computer Society Press, 2018"
Updated -
Updated
-
Simon Castellan / vnsee
GNU General Public License v3.0 or laterUpdated -
OMOND Antoine / Ue Devops Fila2 Cours Ansible
MIT LicenseUpdated -
-
Plenary meeting of the joint SOLHARIS and HPC scalable ecosystem projects
UpdatedUpdated -
-
Updated
-
SLIMMEST / cemracs_results
GNU General Public License v3.0 or laterUpdated -
PhD thesis LaTeX template for the 11 doctoral schools in Brittany and Pays de Loire. Project initiated by former PhD students at the MathSTIC doctoral school in collaboration with the doctoral school.
Updated -
-
Updated
-
cambium / cosmo
BSD 3-Clause "New" or "Revised" LicenseConcurrent Separation Logic for Multicore OCaml
Updated -
-
Updated
-
Compilation of useful resources for software development.
Updated -