The latest source can be found on github.

Generated documentation can browsed online at coqdoc.

Finally, most of the developers are often in the #coq IRC channel on Freenode.