What are some good open source libraries for generating PDF documents from HTML content?

We recently made an application for a client in PHP where we had to generate PDF files using some HTML content, We chose to opt for DOMpdf for doing this. Though it did work, But the development experience so bad that if i had the power to make the decision again, I probably wouldn't have chosen it.

Are there any good open source libraries(irrespective of the language that the backend is written in) that i can use for generating and styling PDF files using HTML5 and CSS?