This project was the basis of my undergraduate dissertation. I would like to extend it into a fully-fledged IDE for developing smart contracts.