GitHub repository: pedrofurla/church
Primary language: Scala
Description: Encoding of various fundamental combinators in various languages