Indeed. Download the source code from
here and go to the Tools folder. The project should be there.
I forgot to answer your second question from before. It is getting really late here.
Box2DX still needs some development before release. The author of the code (Ihar3d) is busy working right now so the official source tree is a little behind. The version we ported reside in the source control but have a few bugs and a lot of performance
If you need the code to be .net, you also have the choice of
Physics2D.net. The most recent release is getting a little old, but it should be stable.