• AtelierOutilsFormels avec notamment la liste de logiciels libres pour la vérification formelle ;
• AtelierLangageDeProgrammation ;
• Rédaction des nouveaux statuts de Gulliver ;
• AtelierLivreLibre.

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/

• « Page » perso : http://www.linux-france.org/~dmentre/
• Blog : http://blog.bentobako.org/ ou https://blog.bentobako.org/
• micro-blog : http://identi.ca/dmentre

• 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
  • système de « booklet » d'Axiom : Spec originale de Tim Daly. Contribution. Résultat final.
  • 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/
• Mes contributions à OpenStreetMap et les traces que j'ai uploadé
• 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
  • Dépôt GitHub d'openETCS
  • 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

• 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