A RESTful API generator