GitHub repository: julianhyde/morel
Primary language: Java
Description: Standard ML interpreter, with relational extensions, implemented in Java