Elaine

This is a programming language I made as part of my master's thesis at TU Delft. It has support for algebraic effects and higher-order effects via hefty algebras.

The language is implemented in Haskell (and really slow!) but the design worked out quite well. The repository contains some examples, but if you're unfamiliar with algebraic effects you'd probably need the thesis to understand it all, since the documentation is very sparse.

The thesis was supervised and built heavily on the work by Casper Bach Poulsen and Cas van der Rest.