GitHub repository: EROTON/InfernoIDE
Description: Inferno integrated development environment for programming and language work