OCamL, Genetic Programming (news: currently porting to F# for easier GUI production)

Abstraction-Based Genetic Programming (ABGP)

ABGP is a genetic programming system in which the genotype search space is partitioned by the proofs to which each program is linked to via the Curry-Howard isomorphism. The proofs act as species for organsims by specifying a pattern in which typed genes can be plugged in. Organisms are arrangements of gene as specified by the species to which they belong. Each gene is a closed computational block that may be combined with other blocks to form an organism.

• See the Context wiki page