Below you can find a list of the software projects I've been involved with (sometimes as the main author, sometimes as a contributor, ...).

active software projects

• Debsources - index and publish on the Web all Debian source code [homepage]
• Matita - an interactive proof assistant [homepage, debian package]
• OCaml hacks:
  • OCaml Batteries Included - consistent, documented, and comprehensive OCaml development platform [homepage]
  • CamlBZ2 - OCaml bindings for bzip2 [homepage]
  • ocaml-autoconf - autoconf macros for OCaml projects [homepage]
  • LablGtkSourceView (now a part of LablGTK) - OCaml bindings for GtkSourceView [homepage, debian package]
  • LablGtkMathView - OCaml bindings for GtkMathView [homepage, debian package]
  • OCaml-HTTP (no longer maintained by me) - OCaml library for writing simple HTTP servers [homepage, debian package]
• CDuce - an XML-oriented, strongly-typed, functional programming language [homepage, debian package]
• Vim hacks:
  • lbdbq - interactive queries to lbdb (e.g. for expanding recipient names in email headers, looking up in the evolution address book) [homepage, debian package]
  • OCaml support - support for editing OCaml code (highlighting, indentation, type information query, ...), now part of the Vim runtime [homepage]
  • Debian support - support for editing Debian-related files (folding, bts completion, ...), part of the Vim runtime or of the Vim debian package [debian package]
• Debian hacks:
  • Vim addon manager - manager of addons for the Vim editor [manpage, debian package]
  • debcheckout (now part of devscripts) - checkout Debian packages from their version control systems [1st and all blog posts, debian package]
  • debfile (now part of python-debian) - access .deb and .ar files from Python [1st blog post, debian package]

dormant software projects

• Carbon - a strict, strongly-typed, functional programming language [homepage]
• (components of) HELM - a digital library of formalized mathematics [homepage]:
  • UWOBO - a XSLT processor with a web service interface [homepage]
  • GDome2-XSLT - glue to apply XSLT transformations to GDome2 documents [homepage, debian package]
  • HTTP Getter - access mediator to the HELM library [homepage]
• GMetaDom - a collection of bindings for GDome2, automatically generated from the DOM recommendation [homepage, debian package]
• WOWcamldebug - integration between the Vim editor and the OCaml debugger [homepage]

fire-and-forget hacks

• integration of Mutt with Notmuch, for blazing fast mail indexing, query, and thread reconstruction [blog post, git ]
• tickler file implementation for maildirs, to "snooze" your INBOX and have messages reappear days later [blog post, git ]
• integration of Mutt with Org-mode, to implement your GTD work flow [blog post, git ]
• pam-hooks - PAM module that support execution of login/logout hooks [homepage]
• flickr download - batch downloader for flickr photos [1st blog post]
• ls2rss - RSS feed out of a directory listing [1st blog post]

... these and others hacks of mine are described in the "hacks" section of my blog

obsolete software projects and hacks

• GNOME Awesome applet - monitor and control the Awesome window manager from the GNOME panel with a handy applet
  (GNOME 2.x only)
• CamlP4 Hashtbl syntax extensions [.ml]
  (for 2003 OCaml, will not compile with camlp4 >= 3.10)
• Vim GnuPG support - transparent encryption/decryption of GnuPG-encoded files within Vim [.vim]
  (this gnupg script on Vim.org is way better)
• VimCU - comment/uncomment lines of code in whatever language [homepage]
  (there are better alternatives now, such as The NERD Commenter)
• talKZ - talk implementation with SSL support, written in Python [.tar.gz, doc (gzipped PostScript, Italian only)]
  (student project)
• ziff - an offline biff replacement [.pl]