This is the Terminal IDE source on Github.