[[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, ... YMMV).

[[toc ]]

# active software projects

* **Matita** - an interactive proof assistant
[[homepage](http://matita.cs.unibo.it), [debian
package](http://packages.qa.debian.org/matita)]
* **Carbon** - a strict, strongly-typed, functional programming language
[[homepage](http://home.gna.org/carbon)]
* **LablGtkSourceView** (now a part of *[LablGTK](http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html)*) -
[OCaml](http://caml.inria.fr) 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](http://caml.inria.fr) 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)]
* **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](http://caml.inria.fr) 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) [[[hompage|vim-addon-manager]], [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 post](http://www.bononia.it/~zack/blog/posts/2007/08/debcheckout.html),
  [debian package](http://packages.qa.debian.org/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](http://www.bononia.it/~zack/blog/posts/2007/07/python_debfile.html),
  [debian package](http://packages.qa.debian.org/python-debian)]

# dormant software projects

* **OCaml-HTTP** - [OCaml](http://caml.inria.fr) library for writing simple HTTP
servers [ [[homepage|ocaml-http]], [debian
package](http://packages.qa.debian.org/ocaml-http)]
* ([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
* **ls2rss** - RSS feed out of a directory listing
[[1st blog post](http://www.bononia.it/~zack/blog/posts/ls2rss.html)]
* **flickr download** - batch downloader for [flickr](http://flickr.com) photos
[[1st blog post](http://www.bononia.it/~zack/blog/posts/flickr_download.html)]

# 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) [[[homepage|talkz]]]
* **ziff** - an offline [biff](http://man.cx/biff) replacement
[[[homepage|ziff]]]