This is Erda, a family of little research programming languages. They are implemented in and on top of Racket and Magnolisp, in a way that allows Racket tools to be used in the development of Erda programs. Code written in Erda can either be evaluated in the Racket VM, or translated into C++.

More details can be found in the manual, which also includes installation instructions.