GitHub repository: stefan-hoeck/idris2-streaming
Primary language: Idris
Description: An IO streaming library for Idris2