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]
- 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]
- 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]
- GNOME Awesome applet - monitor and control the Awesome window manager from the GNOME panel with a handy applet
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
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]
