idris-lang's tracked open-source repos, sorted by stars.
A purely functional programming language with first class types
