Our team built a PLONK DSL toolkit recently. It accepts circuit written in circom, then transpiles the circuit into PLONK gates using bellman_ce. It can be used to generate and verify proof now.
It is not mature now, and we are building more features into it. Any suggestions and contributions are welcome!