Equipe LoCal
Software
| Year : | Author(s): | Title: | Link: |
|---|---|---|---|
| 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) | Link |
| 2022 | Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller | pymwp: MWP analysis in Python | Link |
| 2020 | Jean-Vincent Loddo | Mariotel, gestionnaire de salles de TP virtuelles sous GNU/Linux | Link |
| 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 | Link |
| 2006 | Jean-Vincent Loddo | IUTOPPIX | |
| 2006 | Jean-Vincent Loddo | Synopsys | |
| 2005 | Jean-Vincent Loddo | Netxkiss | |
| 2004 | Jean-Vincent Loddo | Knoppix4GTR |