idris-lang/Idris-dev on GitHub, opens in a new tab3.5KstarsA Dependently Typed Functional Programming LanguageHaskell·Other·slowing·last yeararchived