I dabbled with AliceML a long time ago and it was fun!

But I think Rossberg has since moved on, and his latest attempt at a "better ML design" should be 1ML[0].

[0] https://github.com/rossberg/1ml