GitHub repository: pufferffish/idris2-http
Primary language: Idris
Description: a http(s) client in idris