I'm working on an open-source framework, and a series of command line tools built on top of the framework, for symbolically manipulating context-free grammars,

I'm working on an open-source framework, and a series of command line tools built on top of the framework, for symbolically manipulating context-free grammars, non-deterministic pushdown automata, and non-deterministic finite automata. All of it is implemented in C++. I have done some neat things like implement CFG production pattern matching using an EDSL that lets me express foreach loops in C++. I'm currently looking for people interested in contributing / using the code. The project page is http://www.grailplus.org http://www.grailplus.org.