GitHub repository: kara-lang/Kara
Primary language: Swift
Description: An experimental functional programming language with dependent types, inspired by Swift and Idris.