Flix
Flix (programming language)
Aarhus University, open-source contributors