GitHub repository: stefan-hoeck/idris2-vty
Primary language: Idris
Created: 2024-06-26T06:39:07Z
Description: Clone of Haskell's vty library (WIP)