Add a better REPL
The GitHub pages