Is there a binary that can be used to evaluate Jazz code in a non-GUI REPL?
No. Even though Jazz was designed so it can be used independently of Jedi, there is no binary that implements a non-GUI Jazz REPL at the moment. We have started work on that but it is a low priority since it would be a pale substitute for Jedi; for example, a console-based REPL will not be able to handle debugging multiple threads or processes well.