There is this one : https://code.google.com/p/box2d-delphi/

Dan seems also to be porting Box2D to Pascal, but I don't know if his conversion is ready.