[[!img img/applications-development.png link="no" class="flow" alt="development"]] Below you can find a list of the software projects I've been involved with (sometimes as the main author, sometimes as a contributor, ...). [[!toc ]] # active software projects * **Matita** - an interactive proof assistant [[homepage](http://matita.cs.unibo.it), [debian package](http://packages.qa.debian.org/matita)] * stuff related to the [OCaml](http://caml.inria.fr) programming language: * OCaml **Batteries Included** - *consistent*, *documented*, and *comprehensive* OCaml development platform [[homepage](http://batteries.forge.ocamlcore.org)] * **CamlBZ2** - OCaml bindings for [`bzip2`](http://www.bzip.org) [[homepage](http://camlbz2.forge.ocamlcore.org)] * **ocaml-autoconf** - [autoconf](http://www.gnu.org/software/autoconf/) macros for OCaml projects [[homepage](http://ocaml-autoconf.forge.ocamlcore.org)] * **LablGtkSourceView** (now a part of *[LablGTK](http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html)*) - OCaml bindings for [GtkSourceView](http://gtksourceview.sourceforge.net/) [[homepage](http://helm.cs.unibo.it/software/lablgtksourceview/), [debian package](http://packages.qa.debian.org/lablgtk2)] * **LablGtkMathView** - OCaml bindings for [GtkMathView](http://helm.cs.unibo.it/mml-widget/) [[homepage](http://helm.cs.unibo.it/mml-widget/), [debian package](http://packages.qa.debian.org/lablgtkmathview)] * **OCaml-HTTP** (no longer maintained by me) - OCaml library for writing simple HTTP servers [ [[homepage|ocaml-http]], [debian package](http://packages.qa.debian.org/ocaml-http)] * **CDuce** - an XML-oriented, strongly-typed, functional programming language [[homepage](http://www.cduce.org), [debian package](http://packages.qa.debian.org/cduce)] * stuff for the [Vim editor](http://www.vim.org): * **lbdbq** - interactive queries to [lbdb](http://www.spinnaker.de/lbdb/) (e.g. for expanding recipient names in email headers, looking up in the [evolution](http://www.gnome.org/projects/evolution/) address book) [[homepage](http://www.vim.org/scripts/script.php?script_id=1757), [debian package](http://packages.qa.debian.org/vim-scripts)] * **OCaml support** - support for editing OCaml code (highlighting, indentation, type information query, ...), now part of the Vim runtime [[homepage](http://www.ocaml.info/home/ocaml_sources.html#toc25)] * **Debian support** - support for editing [Debian](http://www.debian.org)-related files (folding, bts completion, ...), part of the Vim runtime or of the Vim debian package [[debian package](http://packages.qa.debian.org/vim)] * [Debian](http://www.debian.org)-specific stuff: * **Vim addon manager** - manager of addons for the [Vim editor](http://www.vim.org) [ [[manpage|vim-addons.1.html]], [debian package](http://packages.qa.debian.org/vim-addon-manager)] * **debcheckout** (now part of *[devscripts](http://alioth.debian.org/projects/devscripts/)*) - checkout Debian packages from their version control systems [ [[1st|blog/posts/2007/08/debcheckout]] and [[all|tags/debcheckout]] blog posts, [debian package](http://packages.debian.org/unstable/devscripts)] * **debfile** (now part of *[python-debian](http://alioth.debian.org/projects/pkg-python-debian)*) - access .deb and .ar files from [Python](http://www.python.org) [ [[1st_blog_post|blog/posts/2007/07/python_debfile]], [debian package](http://packages.debian.org/unstable/python-debian)] * **[[GNOME Awesome applet|gnome-awesome-applet]]** - monitor and control the [Awesome window manager](http://awesome.naquadah.org/) from the [GNOME](http://www.gnome.org) panel with a handy applet # dormant software projects * **Carbon** - a strict, strongly-typed, functional programming language [[homepage](http://home.gna.org/carbon)] * ([components](http://helm.cs.unibo.it/software/) of) **HELM** - a digital library of formalized mathematics [[homepage](http://helm.cs.unibo.it)]: * **UWOBO** - a XSLT processor with a web service interface [[homepage](http://helm.cs.unibo.it/software/uwobo/)] * **GDome2-XSLT** - glue to apply XSLT transformations to [GDome2](http://gdome2.cs.unibo.it/) documents [[homepage](http://helm.cs.unibo.it/software/gdome_xslt/), [debian package](http://packages.qa.debian.org/gdome2-xslt)] * **HTTP Getter** - access mediator to the HELM library [[homepage](http://helm.cs.unibo.it/software/getter/)] * **GMetaDom** - a collection of bindings for [GDome2](http://gdome2.cs.unibo.it/), automatically generated from the DOM recommendation [[homepage](http://gmetadom.sourceforge.net/), [debian package](http://packages.qa.debian.org/gmetadom)] * **WOWcamldebug** - integration between the [Vim editor](http://www.vim.org) and the [OCaml debugger](http://caml.inria.fr/pub/docs/manual-ocaml/manual030.html) [ [[homepage|wowcamldebug]]] # fire-and-forget hacks * **integration of Mutt with Notmuch**, for blazing fast mail indexing, query, and thread reconstruction [ [[blog post|blog/posts/2011/01/how_to_use_Notmuch_with_Mutt]], [git](http://git.notmuchmail.org/git/notmuch/tree/HEAD:/contrib/notmuch-mutt) ] * **[[!wikipedia tickler file]] implementation for maildirs**, to "snooze" your INBOX and have messages reappear days later [ [[blog post|blog/posts/2010/05/tickler_file_for_maildir]], [git](http://git.upsilon.cc/?p=utils/rotate-tickler.git) ] * **integration of Mutt with Org-mode**, to implement your GTD work flow [ [[blog post|blog/posts/2010/02/integrating_Mutt_with_Org-mode]], [git](http://git.upsilon.cc/?p=utils/org-mutt.git;a=summary) ] * **pam-hooks** - PAM module that support execution of login/logout hooks [ [[homepage|pam-hooks]]] * **flickr download** - batch downloader for [flickr](http://flickr.com) photos [ [[1st_blog_post|blog/posts/2006/11/flickr_download]]] * **ls2rss** - RSS feed out of a directory listing [ [[1st_blog_post|blog/posts/2006/12/ls2rss]]] ... these and others hacks of mine are described in the [["hacks"_section_of_my_blog|tags/hack]] # dead software projects * **CamlP4 Hashtbl syntax extensions** [ [[.ml|hashtbl_ext.ml]]] (for 2003 OCaml, no way it will even compile with CamlP4 >= 3.10) * stuff for the [Vim editor](http://www.vim.org): * **Vim GnuPG support** - transparent encryption/decryption of [GnuPG](http://www.gnupg.org)-encoded files within [Vim](http://www.vim.org) [ [[.vim|gpg.vim]]] (this [gnupg script](http://vim.sourceforge.net/scripts/script.php?script_id=661) on Vim.org is waay better) * **VimCU** - comment/uncomment lines of code in whatever language [[homepage](http://www.vim.org/scripts/script.php?script_id=1208)] (there are better alternatives now, such as [The NERD Commenter](http://www.vim.org/scripts/script.php?script_id=1218)) * **talKZ** - [talk](http://man.cx/talk) implementation with SSL support, written in [Python](http://www.python.org) [ [[.tar.gz|talkz-0.5.tar.gz]], [[doc|talkz.ps.gz]] (gzipped PostScript, Italian only)] * **ziff** - an offline [biff](http://man.cx/biff) replacement [ [[.pl|ziff]]]