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.
The open Transportation Control System.
High-performance software transactional memory for Common Lisp.