![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| deri/ | 2016-06-11 21:13 | - | |
| gdal/ | 2012-06-29 16:58 | - | |
| geotools/ | 2013-04-19 14:53 | - | |
| jgrapht/ | 2012-06-12 14:20 | - | |
| mindswap/ | 2012-03-08 17:55 | - | |
| openjena/ | 2012-06-16 15:36 | - | |
| openrdf/ | 2024-12-18 12:34 | - | |
| openstreetmap/ | 2012-04-26 14:07 | - | |
| portletfaces/ | 2012-06-14 13:04 | - | |
| semanticweb/ | 2011-01-03 18:32 | - | |
| topbraid/ | 2022-01-11 13:34 | - | |
| wisemapping/ | 2014-01-29 12:56 | - | |