These repositories are mirrors of the repositories at the hpfem group at github:
github.com/hpfem

In order to fetch these repositories, click on the particlar repository and do:

git clone URL

where URL is written at top of the particular page (note that it is not equal to the url of that page).

In order to push into these repositories, please send us a pull request against the same repository at github (see the link above). We'll review it and push it in. Feel free to ask any questions on any of our mailinglists.