Argument parser for GOBO Eiffel

I have written a library to do command-line parsing of arguments in the Eiffel Programming language. The library has been integrated into the GOBO Eiffel project, a library of basic services portable between different Eiffel implementations. Ongoing

Mathematical Model Library

MML provides an implementation of typed set-theory on the basis of an object-oriented library. By using the classes from the library, it is possible to translate first-order predicates into standard Eiffel contracts. It is part of my thesis research. Passed on

EiffelStudio 6.0 Unofficial Graphical Installer

A graphical installer for EiffelStudio 6.0, using the Loki Installer framework. Stalled