Explore projects

View stage_legifrance project

Aurore Alcolei / stage_legifrance

0

Updated Jun 30, 2025

0 0 1 0

Updated Jun 30, 2025
View attackTree project

Sovanna Tan / attackTree
GNU General Public License v3.0 only

0

Updated Apr 16, 2021

0 0

Updated Apr 16, 2021
View dynamicFaultTree project

Sovanna Tan / dynamicFaultTree
GNU General Public License v3.0 only

0

Updated May 31, 2018

0 0 0 0

Updated May 31, 2018
View BSML-Multicore project

Julien Tesson / BSML-Multicore

BSML based on Multicore Ocaml . Implementation, modelisation and proofs, related papers

0

Updated Jan 08, 2021

0 0 0 3

Updated Jan 08, 2021
View Multi-ML project

Frederic Gava / Multi-ML

The Multi-ML language !

0

Updated Dec 12, 2017

0 0 0 0

Updated Dec 12, 2017
View class-panic project

Paul-Elliot Anglès d'Auriac / class-panic
GNU Affero General Public License v3.0

A node JS website for interactive polling students

0

Updated Nov 03, 2018

0 0 0 0

Updated Nov 03, 2018
View GraphEditor project

Benoit Barbot / GraphEditor

0

Updated Feb 21, 2025

0 0 0 0

Updated Feb 21, 2025
View bd_arretes project

Aurore Alcolei / bd_arretes

0

Updated Jul 02, 2025

0 0 0 0

Updated Jul 02, 2025
View DU project

Pierre Valarcher / DU

0

Updated May 15, 2019

0 0 0 0

Updated May 15, 2019
View PrismFork project

Benoit Barbot / PrismFork
GNU General Public License v2.0 or later

0

Updated Oct 11, 2019

0 0 0 0

Updated Oct 11, 2019
View CV project

Pierre Valarcher / CV

0

Updated May 14, 2019

0 0 0 0

Updated May 14, 2019
View ABZ2024pub project

Frederic Gervais / ABZ2024pub

0

Updated Feb 16, 2024

0 0 0 0

Updated Feb 16, 2024
View Tiamo-fork project

Benoit Barbot / Tiamo-fork
GNU General Public License v3.0 only

0

Updated Jun 03, 2022

0 0 0 0

Updated Jun 03, 2022
View set-theory-theory-abz project

Julien Cervelle / set-theory-theory-abz

0

Updated Nov 27, 2023

0 0 0 0

Updated Nov 27, 2023
View abz2023pub project

Julien Cervelle / abz2023pub

0

Updated Jan 25, 2023

0 0 0 0

Updated Jan 25, 2023