An integrated development environment for AGD - View it on GitHub