abb97f11ac05d84f0164cf438ef0b010ad6582e2
[homepage.git] / hacking / software.mdwn
1 [[!img img/applications-development.png link="no" class="flow" alt="development"]]
2
3 Below you can find a list of the software projects I've been involved with
4 (sometimes as the main author, sometimes as a contributor, ...).
5
6 [[!toc ]]
7
8 # active software projects
9
10 * **Matita** - an interactive proof assistant
11 [[homepage](http://matita.cs.unibo.it), [debian
12 package](http://packages.qa.debian.org/matita)]
13 * stuff related to the [OCaml](http://caml.inria.fr) programming language:
14   * OCaml **Batteries Included** - *consistent*, *documented*, and
15   *comprehensive* OCaml development platform [[homepage](http://batteries.forge.ocamlcore.org)]
16   * **CamlBZ2** - OCaml bindings for [`bzip2`](http://www.bzip.org) [[homepage](http://camlbz2.forge.ocamlcore.org)]
17   * **ocaml-autoconf** - [autoconf](http://www.gnu.org/software/autoconf/) macros for OCaml projects
18   [[homepage](http://ocaml-autoconf.forge.ocamlcore.org)]
19   * **LablGtkSourceView** (now a part of *[LablGTK](http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html)*) -
20   OCaml bindings for [GtkSourceView](http://gtksourceview.sourceforge.net/)
21   [[homepage](http://helm.cs.unibo.it/software/lablgtksourceview/),
22   [debian package](http://packages.qa.debian.org/lablgtk2)]
23   * **LablGtkMathView** - OCaml bindings for [GtkMathView](http://helm.cs.unibo.it/mml-widget/)
24   [[homepage](http://helm.cs.unibo.it/mml-widget/), [debian package](http://packages.qa.debian.org/lablgtkmathview)]
25 * **CDuce** - an XML-oriented, strongly-typed, functional programming language
26 [[homepage](http://www.cduce.org), [debian
27 package](http://packages.qa.debian.org/cduce)]
28 * stuff for the [Vim editor](http://www.vim.org):
29   * **lbdbq** - interactive queries to [lbdb](http://www.spinnaker.de/lbdb/)
30   (e.g. for expanding recipient names in email headers, looking up in the
31   [evolution](http://www.gnome.org/projects/evolution/) address book)
32   [[homepage](http://www.vim.org/scripts/script.php?script_id=1757), [debian
33   package](http://packages.qa.debian.org/vim-scripts)]
34   * **OCaml support** - support for editing OCaml code (highlighting, indentation,
35   type information query, ...), now part of the Vim runtime
36   [[homepage](http://www.ocaml.info/home/ocaml_sources.html#toc25)]
37   * **Debian support** - support for editing
38   [Debian](http://www.debian.org)-related files (folding, bts completion, ...),
39   part of the Vim runtime or of the Vim debian package [[debian
40   package](http://packages.qa.debian.org/vim)]
41 * [Debian](http://www.debian.org)-specific stuff:
42   * **Vim addon manager** - manager of addons for the [Vim
43   editor](http://www.vim.org) [ [[manpage|vim-addons.1.html]], [debian
44   package](http://packages.qa.debian.org/vim-addon-manager)]
45   * **debcheckout** (now part of
46   *[devscripts](http://alioth.debian.org/projects/devscripts/)*) - checkout
47   Debian packages from their version control systems [
48   [[1st|blog/posts/2007/08/debcheckout]] and [[all|tags/debcheckout]] blog
49   posts, [debian package](http://packages.debian.org/unstable/devscripts)]
50   * **debfile** (now part of *[python-debian](http://alioth.debian.org/projects/pkg-python-debian)*) -
51   access .deb and .ar files from [Python](http://www.python.org)
52   [ [[1st_blog_post|blog/posts/2007/07/python_debfile]],
53   [debian package](http://packages.debian.org/unstable/python-debian)]
54
55 # dormant software projects
56
57 * **OCaml-HTTP** - OCaml library for writing simple HTTP servers
58 [ [[homepage|ocaml-http]], [debian package](http://packages.qa.debian.org/ocaml-http)]
59 * **Carbon** - a strict, strongly-typed, functional programming language
60 [[homepage](http://home.gna.org/carbon)]
61 * ([components](http://helm.cs.unibo.it/software/) of) **HELM** - a digital
62 library of formalized mathematics [[homepage](http://helm.cs.unibo.it)]:
63   * **UWOBO** - a XSLT processor with a web service interface
64   [[homepage](http://helm.cs.unibo.it/software/uwobo/)]
65   * **GDome2-XSLT** - glue to apply XSLT transformations to
66   [GDome2](http://gdome2.cs.unibo.it/) documents
67   [[homepage](http://helm.cs.unibo.it/software/gdome_xslt/), [debian
68   package](http://packages.qa.debian.org/gdome2-xslt)]
69   * **HTTP Getter** - access mediator to the HELM library
70   [[homepage](http://helm.cs.unibo.it/software/getter/)]
71 * **GMetaDom** - a collection of bindings for
72 [GDome2](http://gdome2.cs.unibo.it/), automatically generated from the DOM
73 recommendation [[homepage](http://gmetadom.sourceforge.net/), [debian
74 package](http://packages.qa.debian.org/gmetadom)]
75 * **WOWcamldebug** - integration between the [Vim editor](http://www.vim.org)
76 and the [OCaml
77 debugger](http://caml.inria.fr/pub/docs/manual-ocaml/manual030.html)
78 [ [[homepage|wowcamldebug]]]
79
80 # fire-and-forget hacks
81 * **ls2rss** - RSS feed out of a directory listing
82 [ [[1st_blog_post|blog/posts/2006/12/ls2rss]]]
83 * **flickr download** - batch downloader for [flickr](http://flickr.com) photos
84 [ [[1st_blog_post|blog/posts/2006/11/flickr_download]]]
85 * **pam-hooks** - PAM module that support execution of login/logout hooks [
86 [[homepage|pam-hooks]]]
87 * others are described in the [["hacks"_section_of_my_blog|tags/hack]]
88
89 # dead software projects
90
91 * **CamlP4 Hashtbl syntax extensions** [ [[.ml|hashtbl_ext.ml]]] (for 2003
92 OCaml, no way it will even compile with CamlP4 >= 3.10)
93 * stuff for the [Vim editor](http://www.vim.org):
94   * **Vim GnuPG support** - transparent encryption/decryption of
95   [GnuPG](http://www.gnupg.org)-encoded files within [Vim](http://www.vim.org)
96   [ [[.vim|gpg.vim]]] (this [gnupg
97   script](http://vim.sourceforge.net/scripts/script.php?script_id=661) on
98   Vim.org is waay better)
99   * **VimCU** - comment/uncomment lines of code in whatever language
100   [[homepage](http://www.vim.org/scripts/script.php?script_id=1208)] (there are
101   better alternatives now, such as [The NERD
102   Commenter](http://www.vim.org/scripts/script.php?script_id=1218))
103 * **talKZ** - [talk](http://man.cx/talk) implementation with SSL support,
104 written in [Python](http://www.python.org) [ [[.tar.gz|talkz-0.5.tar.gz]],
105 [[doc|talkz.ps.gz]] (gzipped PostScript, Italian only)]
106 * **ziff** - an offline [biff](http://man.cx/biff) replacement
107 [ [[.pl|ziff]]]
108