Discovered public repositories for protz in the GitHub catalog.
An implementation of a constraint-based type-checker for ML based on “The essence of ML type inference”. This one additionally generates an annotated AST along with extra coercions to generalize variables inside patterns. See my master's thesis report for details.
An entertainment system for the Raspberry Pi + Adafruit LCD: radios, notifications, etc.
A sample projet with all the right voodoo to build Mezzo files.
An OCaml controller for the Adafruit Rapsberry Pi LCD
The language of the future!
A pretty interesting pre-processor that uses OCaml
Because the internet stream for FIP (http://www.fipradio.fr) doesn't display artist information.
Android cross-compiler: package descriptions for OPAM
Package descriptions for OPAM
Lightweight revival of the late FireGPG, using no binary components to ensure forward compatibility.
The official windows installer (built using NSIS) for OCaml
View your RSS feeds in Thunderbird in a dashboard-style view
View conversations in separate tabs as IM chats (FOSDEM demo)
A set of hopefully useful modules that you can import in your Thunderbird extension. Wrappers for deleting messages, archiving messages, sending messages, wrapping text, quoting text...
A dashboard for GetSatisfaction including pretty graphics
Replace the compose window in Thunderbird with a tab that uses CKEditor.
A script for vim that allows you to run a toplevel in the background and send phrases to it, just like in an Emacs session
An extension for Thunderbird that allows you to generate LaTeX in your emails and send it as inline images
An extension for Thunderbird 3.0+ that allows you to sort folders in the folder pane.