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

• Matita - an interactive proof assistant [homepage, debian package]
• stuff related to the OCaml programming language:
  • 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]
• CDuce - an XML-oriented, strongly-typed, functional programming language [homepage, debian package]
• stuff for the Vim editor:
  • 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-specific stuff:
  • 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

• OCaml-HTTP - OCaml library for writing simple HTTP servers [ homepage, debian package]
• 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

• tickler file implementation for maildirs, to "snooze" your INBOX and have messages reappear days later [ blog post, git ]
• integration between Mutt and Org-mode, to implement your GTD work flow [ blog post ]
• 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

dead software projects

• CamlP4 Hashtbl syntax extensions [ .ml] (for 2003 OCaml, no way it will even compile with CamlP4 >= 3.10)
• stuff for the Vim editor:
  • Vim GnuPG support - transparent encryption/decryption of GnuPG-encoded files within Vim [ .vim] (this gnupg script on Vim.org is waay 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)]
• ziff - an offline biff replacement [ .pl]