A Database System for Metamodeling and Method Engineering
Create consistent Uml diagrams
Linux Library on top of Libc focusing on long term support.
A real time inference engine for temporal logical specifications
State Dependency deconstructor and mapper for C source code.
LED matrix rebirth