GitHub repository: stew/reasonably-priced
Primary language: Scala
Description: encoding of Rúnar's "Reasonably priced monads"