I keep hearing people say it would be super useful to have a design environment for biology, where the output is either a genetic circuit or some other implementable design, but I never really see anything that comes close. Cello and the folks behind Asimov are an interesting attempt, but I’m thinking more along the lines of Michael Levin’s talk. Does anything like that exist?