David Mentré
Les ateliers auxquels je participe activement dans Gulliver
- AtelierOutilsFormels avec notamment la liste de logiciels libres pour la vérification formelle ;
Présentations diverses
Je fais depuis quelques années une présentation de temps à temps. Contactez moi si vous voulez que j'en fasse une sur un thème particulier.
La plupart de ces présentations sont accessibles ici, avec leur source. N'hésitez pas à piocher dedans, c'est du Libre !
http://www.linux-france.org/~dmentre/gulliver/presentations/
Activités numériques
- « Page » perso : http://www.linux-france.org/~dmentre/
- micro-blog : http://identi.ca/dmentre
Activités autour des œuvres libres
- Développement de logiciel libre que je (co-)développe ou contributions diverses :
- MapOSMatic, un logiciel pour générer automatiquement des plans de ville
- migrate-to-doku, un script de migration de Wikini à Dokuwiki, avec l'historique ! Co-écrit avec Étienne Loks, Gilles Lamiral, Sylvain Collilieux, et d'autres
- demexp, logiciel de vote pour la démocratie directe à grande échelle : http://demexp.net
- lp4all, un logiciel de documentation de code source : https://gna.org/projects/lp4all/
- ocamlscript, un système de script en OCaml (style-genre #!/usr/bin/ocamlscript) qui compile le programme OCaml en binaire à la première exécution du script. Martin Jambon en a repris le développement et rendu plus complet (support des modules, …) : http://martin.jambon.free.fr/ocamlscript.html Mais moi j'aime bien ma version simple.
- ocaml-osm-route, un logiciel de routage sur la base de cartographie libre d'Open Street Map : http://www.linux-france.org/cgi-bin/hgwebdir.cgi/ocaml-osm-route/latest
- quelques patches sur l'Agenda du Libre : http://www.agendadulibre.org/infos.php#historique (17/09/2005)
- quelques scripts et petits codes divers : http://www.linux-france.org/~dmentre/code/
- générateur de mots de passe sûrs
- binding d'OCaml avec une bibliothèque de BDD (Binary Decision Diagram)
- analyseur de l'utilisation d'un système de fichier
- implémentations de synchronisations Lecteur-Écrivain en OCaml
- …
- Quelques photos libres (licence CC-BY-SA) des États-Unis : https://www.bentobako.org/david/USA-pictures-sample/ ou http://www.bentobako.org/david/USA-pictures-sample/
- Il y a des années j'avais maintenu la SMP HOWTO
- Exemple jouet d'utilisation de Frama-C : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-March/000473.html
- Contributions au projet européen openETCS où tous les artefacts (documentations, modèles, libres) et la majeure partie de la chaine de développement (modélisation SysML, IDE, génération de documentation, …) sont libres
- Malgré les objectives du projet, certains logiciels propriétaires sont utilisés comme SCADE
- Contributions au projet français BWare qui utilise beaucoup (que ?) de logiciels libres
Les résultats de BWare ne sont pas encore publiquement accessibles mais devraient l'être d'ici à la fin du projet, en libre
Contributions associatives
- Membre de Gulliver et de son conseil d'administration depuis la fondation de Gulliver en 1998 (avec des trous)
- J'ai été trésorier et secrétaire de l'asso. En 2010 j'ai été à nouveau trésorier
- Membre du comité de programme de la conférence Breizh Entropy Congress - Rennes, April 15-17 2010