Web front-end for the devmine project