Tool support for the Z formal notation
Java wrapper for 7z archiver engine
Write, check, index and diagram Z specifications in Microsoft Word.
Java bridge to IBM z/VM System Management API
Vim-like editing in Eclipse
LGPL GML parser
Unified Test and Logging layer for multiple programming languages
LGPL WKT parser
Css Traffic Control - CSSTC
projekt zaliczeniowy