Kakurasu Solver is a solver for the puzzle game Kakurasu, as featured on BrainBashers.com. It is written in Python using its interface to lp_solve, a mixed-integer linear programming solver.
A recovery tool for lzip files.
A standards compliant RTOS with a small footprint.