ADATE
Program-Transformation.Org: The Program Transformation Wiki
Homepage: http://www-ia.hiof.no/~rolando/adate_intro.html
Automatic Design of Algorithms Through Evolution (ADATE) is a system for automatic programming i.e., inductive inference of algorithms.