Linux Library on top of Libc focusing on long term support.
A real time inference engine for temporal logical specifications
A Database System for Metamodeling and Method Engineering
C for programmable guitar amp
State Dependency deconstructor and mapper for C source code.