GitHub repository: professorg/HasChor
Description: Functional choreographic programming in Haskell