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 Web and mobile framework for Dart.
A Linux embedded appliance framework.