Bioambient is a project mainly written in ..., it's free.

an implementation of bioambient in maude 2.0