I know of places like Codingground, and I was wondering if a software like they use to render a complete IDE with menus, editor, console output, etc, is available so I can build something similar for my students.
I'm aware that a technology like dockers or paravirtualization will be needed. That's not the problem. I just can't find an open source product that are able to provide an IDE. Coding Ground is not the only site that offers this service. There are more of them (Hackerrank comes to my mind too), so I wonder if they are all based in the same base code.
So my question is: is there any software available (better if open source) that allows me to build an online IDE + compiler for the C programming language (or any other language for there is a compiler in Linux)?