Software


Scientific software

Dalton

Dalton is a generic and efficient OCaml library for type inference with structural subtyping. It is the type inference engine for the Flow Caml system. I developed this library during my PhD. Its theoretical fundations, as well as a formal proof of its correctness, are presented in the third chapter of my PhD thesis, as well as a conference paper (in English).

View details »

Flow Caml

The Flow Caml system is a prototype implementation of an information flow analyzer for the Caml language. Its purpose is basically to allow to write "real" programs and to automatically check that they obey some confidentiality or integrity policy. I developed it during my PhD thesis.

View details »


Eclipse plugins

LESS

This plugin provides features to edit and compile LESS stylesheet in the Eclipse IDE. LESS is an extension of the CSS stylesheet language with powerful features like variables, nested blocks and mixins.

View details »

Closure Templates

This plugin provides features to edit and compile Closure Templates (aka Soy templates) in the Eclipse IDE.

View details »

Closure Compiler

This plugin extends JSDT, the JavaScript development environment for Eclipse, with some features which are useful for developers using the Closure Compiler and the Closure Library from Google.

View details »


Google Apps Script

Recordset

A Google Apps Script library for easily manipulating the contents of a Google Spreadsheet whose rows represent records of values.

GitHub »

Templating

A Google Apps Script library for templating files in Google Drive, including Google Documents and Google Forms.

GitHub »

Google API Client Library

Client library for using Google APIs in Google Apps Scripts.

GitHub »


OCaml software

Averell

Averell is an OCaml library dealing with graphs. It provides an implementation of several usual algorithms and an interface with the GraphViz toolkit for graphs drawing. It was primarly developed for Dalton, but can be used for other purposes thanks to its genericity.

  • Version: 0.03
  • Release date: 2002-12-02
  • License: LGPL

Source code Documentation

APM

This package provides basic interface to Linux APM driver for OCaml programs.

  • Version: 1.00
  • Release date: 2002-11-04
  • License: LGPL

Source code Documentation

Headache

Headache is a simple and lightweight tool for managing headers in source code files. It allows to add and update headers to all files of a project, while adapting the format of the header in each file according to its type (e.g. prepending // in C files, # in shell files or enclosing comments in (* ... *) in OCaml files).

  • Version: 1.03
  • Release date: 2004-03-29
  • License: LGPL

Source code Documentation Debian package

MozCaml

I have also developped, with Maxence Guesdon, a "SideBar tab" for Mozilla and Netscape browsers dedicated to the OCaml language.

Site