| 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 |
|