I get what you are saying, but this is not libraries that implement dynamic programming.

There are general libraries for dynamic programing that are interesitng, see for example https://didp.ai/