kara-lang / Kara

An experimental functional programming language with dependent types, inspired by Swift and Idris.
45Updated 2 years ago

Alternatives and similar repositories for Kara:

Users that are interested in Kara are comparing it to the libraries listed below