software: add Debsources, improve markup
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Jan 2015 17:19:31 +0000 (18:19 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Jan 2015 17:19:31 +0000 (18:19 +0100)
hacking/software.mdwn

index 4d90eac..f542055 100644 (file)
@@ -7,10 +7,13 @@ Below you can find a list of the software projects I've been involved with
 
 # active software projects
 
+* **Debsources** - index and publish on the Web all
+  [Debian](http://www.debian.org) source code
+  [[homepage](http://sources.debian.net/)]
 * **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](http://caml.inria.fr) hacks:
   * 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)]
@@ -23,12 +26,12 @@ package](http://packages.qa.debian.org/matita)]
   * **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]],
+  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):
+* [Vim](http://www.vim.org) hacks:
   * **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)
@@ -41,18 +44,18 @@ package](http://packages.qa.debian.org/cduce)]
   [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:
+* [Debian](http://www.debian.org) hacks:
   * **Vim addon manager** - manager of addons for the [Vim
-  editor](http://www.vim.org) [ [[manpage|vim-addons.1.html]], [debian
+  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
+  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]],
+  [[[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
@@ -108,7 +111,7 @@ debugger](http://caml.inria.fr/pub/docs/manual-ocaml/manual030.html)
 
 * **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](http://www.vim.org) hacks:
   * **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