GitHub repository: loovjo/mulambdati
Primary language: Python
Description: Multiplayer lambda calculus with monadic io!