PySCeS Constraint Based Modelling
Information Manager(split/analyze/compare/combine).
API for all possible cellular automata that work same at all angles
Integrated Multiprogram Platform Analyze & Combine Tests of Selection
Puzzle game demonstrating whats so hard about binary integer factoring