I am making a bullet hell game in Python and am looking for a suitable collision library, taking the following into consideration:

• The library should do 2D polygon collision.
• It should be very fast. As a bullet hell game, I expect to do collision checks between hundreds, likely thousands of objects every frame at a consistent 60fps.
• Good documentation
• Permissive license (like MIT, not GPL)

I am also considering writing my own library in C/C++ and wrapping with python ctypes in the event that no such library exists, though I do not have experience with collision detection algorithms, so I am not sure if this would be more trouble than it's worth.

Could someone provide some guidance on this matter?