Æon

Æon is a programming language with refinement types that supports genetic programming for program synthesis.

Æon’s website is located at https://github.com/alcides/aeon.