It's javascript. It's not available as a framework, but you can make your own repl website based on the code[1]. Though of course it would be much harder for another language, since you can't use eval().
It's JavaScript. The REPL's code is evaluated by the page's JavaScript -- look directly in the page's source, there's an 'eval' call that evaluates the REPL's code.
