Linux Library on top of Libc focusing on long term support.
Create consistent Uml diagrams
A Database System for Metamodeling and Method Engineering
Create basic GUI windows for minimal Linux distros
A real time inference engine for temporal logical specifications