racket

Name Category Description
gvim app-editors GUI version of the Vim text editor
idris2 dev-lang Purely functional programming language with first class types
vim app-editors Vim, an improved vi-style text editor

Thank you!