A patch for GNU Core Utilities cp, mv to add progress bars
A real time inference engine for temporal logical specifications
Open-source code generator for Simulink/Stateflow
State Dependency deconstructor and mapper for C source code.
A now working console (GUI SOON!) skin manager for Conky.