chez

Name Category Description
idris2 dev-lang Purely functional programming language with first class types
racket dev-scheme General purpose, multi-paradigm Lisp-Scheme programming language

Thank you!