Looks like a light version of Optiq. https://github.com/julianhyde/optiq