coalton-lang's tracked open-source repos, sorted by stars.
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.