David Mentré

Les ateliers auxquels je participe activement dans Gulliver

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

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 ! ;-)

Activité numérique

• « Page » perso : http://www.linux-france.org/~dmentre/
• Blog : https://bentobako.org/david/blog/ ou http://bentobako.org/david/blog/
• 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 : https://demexp.org/
  • 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://bentobako.org/david/USA-pictures-sample/ ou http://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
• Suivi des paquets OCaml dans Ubuntu :
  • adaptation du script de transition à une nouvelle version du compilateur OCaml : http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ocaml_transition_monitor.html
  • idem pour les architectures autres que amd64 et i386 : http://bentobako.org/ubuntu-ocaml-status/transition_monitor/ports_transition_monitor.html
  • infos générales sur les paquets OCaml sur la Ubuntu : http://bentobako.org/ubuntu-ocaml-status/raw/
• Exemple jouet d'utilisation de Frama-C : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-March/000473.html

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

---