preliminar (well, very! preliminar) reorganization
authorStefano Zacchiroli <zack@debian.org>
Sun, 23 Dec 2007 20:43:15 +0000 (21:43 +0100)
committerStefano Zacchiroli <zack@debian.org>
Sun, 23 Dec 2007 20:43:15 +0000 (21:43 +0100)
hacking/software.mdwn

index 4112025..d08129e 100644 (file)
@@ -4,19 +4,39 @@ TODO
 
 per ora in ordine sparso:
 
- * Matita
- * UWOBO
- * GDome2-XSLT
- * HTTP Getter
- * Carbon
- * LablGtk - LablGtkSourceView
- * LablGtkMathView
- * GMetaDom
- * CDuce
- * OCaml-HTTP
- * WOWcamldebug
- * camlp4 hashtbl syntax extension
- * roba debian o quasi
+# 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
+
+# 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
+[GDome2](http://gdome2.cs.unibo.it/), automatically generated from the DOM
+recommendation
+
+----
+
+* 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