GitHub repository: snoble/bosatsu
Primary language: Scala
Description: A python-ish pure and total functional programming language