Equipe LoCal
Logiciels
| Année : | Auteur(s): | Titre: | Lien: |
|---|---|---|---|
| 2022 | Sylvie Boldo, François Clément, Martin Vincent, Micaela Mayero, Florian Faissole, Houda Mouhcine, Louise Leclerc, Stephane Aubry | coq-num-analysis opam package (Numerical Analysis in Coq) | Lien |
| 2022 | Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller | pymwp: MWP analysis in Python | Lien |
| 2020 | Jean-Vincent Loddo | Mariotel, gestionnaire de salles de TP virtuelles sous GNU/Linux | Lien |
| 2012 | Jean-Vincent Loddo, Luca Saiu | Marionnet | |
| 2012 | Jean-Vincent Loddo, Luca Saiu | Ocamlbricks | |
| 2007 | Jean-Vincent Loddo, Thierry Hamon | Marionnet/Iutoppix : un environnement pédagogique pour la simulation de réseaux locaux | Lien |
| 2006 | Jean-Vincent Loddo | IUTOPPIX | |
| 2006 | Jean-Vincent Loddo | Synopsys | |
| 2005 | Jean-Vincent Loddo | Netxkiss | |
| 2004 | Jean-Vincent Loddo | Knoppix4GTR |