completed 1st writing of the software page, wiser placement of the brokenlinks detection
authorStefano Zacchiroli <zack@debian.org>
Mon, 24 Dec 2007 16:46:42 +0000 (17:46 +0100)
committerStefano Zacchiroli <zack@debian.org>
Mon, 24 Dec 2007 16:46:42 +0000 (17:46 +0100)
about.mdwn
hacking/software.mdwn
local.css

index 505f5f6..b88e0bf 100644 (file)
@@ -19,3 +19,7 @@ Some facts about Zack's home page (i.e. this website):
  * all contained web pages strive to be **interoperable**, being (hopefully) valid
  [XHTML 1.0 Strict](http://www.w3.org/TR/xhtml1/); you can check that by yourself
  clicking on the corresponding icon at the bottom of each page
+
+ * ... on the dark side, this website sports the following (internal) broken
+ links (and yes, I should probably do something about them, if any):
+ [[brokenlinks ]]
index d08129e..4fc4398 100644 (file)
 [[img img/applications-development.png link="no" class="flow" alt="development"]]
 
-TODO
+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).
 
-per ora in ordine sparso:
+[[toc ]]
 
 # active software projects
 
-* [Matita](http://matita.cs.unibo.it) - an interactive proof assistant
-* [Carbon](http://home.gna.org/carbon) - a strict, strongly-typed, functional
-programming language
-* [LablGtkSourceView](http://helm.cs.unibo.it/software/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/)
-* [LablGtkMathView](http://helm.cs.unibo.it/mml-widget/) -
-OCaml bindings for [GtkMathView](http://helm.cs.unibo.it/mml-widget/)
-* [CDuce](http://www.cduce.org/) - an XML-oriented, strongly-typed, functional
-programming language
+* **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)]
+* some 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 software projects:
+  * **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]] - OCaml library for writing simple HTTP servers
-* [HELM](http://helm.cs.unibo.it) (a digital library of formalized mathematics)
-[components](http://helm.cs.unibo.it/software/)
-  * [UWOBO](http://helm.cs.unibo.it/software/uwobo/) - an XSLT processor with a
-  web service interface
-  * [GDome2-XSLT](http://helm.cs.unibo.it/software/gdome_xslt/) - glue to apply
-  XSLT transformations to [GDome2](http://gdome2.cs.unibo.it/) documents
-  * [HTTP Getter](http://helm.cs.unibo.it/software/getter/) - access mediator to
-  the [HELM](http://helm.cs.unibo.it) library
-* [GMetaDom](http://gmetadom.sourceforge.net/) - a collection of bindings for
+* **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
+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)]
 
-* WOWcamldebug
-* camlp4 hashtbl syntax extension
-* roba debian o quasi
-   * vim addon manager (cercare i pacchetti debian nativi di cui sono autore)
-   * devscripts - debcheckout
-   * python-debian - debfile
+# dead software projects
 
-link esterni:
+* **CamlP4 Hashtbl syntax extensions** [[[.ml|hashtbl_ext.ml]]] (for 2003 OCaml,
+no way it will even compile with CamlP4 >= 3.10)
+* some 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]]] (the [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]]]
 
- * roba su vim.org
-   * vimCU
-   * cvsvimdiff
-   * lbdbq
-   * ... cercare la roba del runtime di cui sono author
- * guardare la sezione "hacks" del blog
-   * ...
-
-roba vecchia:
-
- * vim gnupg support
- * vim support for .ocaml
- * talkZ
-
-schifezze:
-
- * ziff
- * rcdfoster
index e845890..6fce757 100644 (file)
--- a/local.css
+++ b/local.css
@@ -2,13 +2,13 @@ body {
   font-family: sans-serif;
   font-size: medium;
 }
-h1, h2, h3 {
+h1, h2, h3, h4 {
   font-weight: normal;
 }
 h1 { font-size: 140%; }
-h2 { font-size: 130%; }
-h3 { font-size: 120%; }
-h4 { font-size: 110% }
+h2 { font-size: 120%; }
+h3 { font-size: 110%; }
+h4 { font-size: 105% }
 
 a { text-decoration: none; }
 a:hover { text-decoration: underline; }