Physx and Havok have been around for a while and dominate in the games industry for a huge class of games since they are integrated in Unreal and Unity.
On the web alone, there is also:
ammo.js, - a wasm port of bullet
cannon.js, - a hand rolled engine
oimo.js, - an older hand roll
rapier.js - a newer hand roll
jolt.js - a newer engine based on the engine used in horizon zero dawn.
physx.js/wasm - nvidia wasm port of physx
havok.js/wasm - microsoft endowed wasm port of havok (used in babylon)
I've been in the space for a while, and anecdotally, PhysX is the most robust, stable, and vying for speed with Havok which is slightly faster, but makes some different accuracy choices for speed. ammo/(Bullet) was one of the earliest serious engines to make it to the web.
r.e. - Box3d - Erin Catto is pretty legendary in the physics engine scene for (box2d).. it has powered a huuuuge number of games that many of us have likely enjoyed...
So I'm definitely gonna keep my eyes on this one!