idris-lang/Idris2
A purely functional programming language with first class types
3.1k stars421forks641issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
45 of 68outside PRs merged (66%)
checked