Dtgp is a project mainly written in ..., based on the MIT license.
Dependently Typed Genetic Programming
Experiments in using Dependent Types to capture and enforce invariants in Genetic Programming.
Agda version 2.2.10 Agda standard library version 0.5
Here is a branch with an accompanying paper describing the project.