GitHub repository: JakobBruenker/curses-idris
Primary language: Idris
Description: Curses bindings package for Idris