![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
This web space, hosted generously by TuxFamily, contains:
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| ext/ | 17-Dec-2011 19:27 | - | hacks and contributions |
| lib/ | 05-May-2013 05:56 | - | open source projects |
| log/ | 06-May-2013 05:29 | - | my personal website |
| spk/ | 06-May-2010 16:47 | - | presentations and talks |
| txt/ | 25-May-2010 05:44 | - | essays and research |