justjoheinz/idris-httpclient
A http client for Idris based on libcurl
Public GitHub Catalog
Discovered Nov 4, 2026
justjoheinz / Idris.Yaml
Idris YAML lib
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#53969449GitHub System ID
justjoheinzOrganization / User
PublicVisibility
ActiveCatalog Status
More from justjoheinz
justjoheinz/scala-csv
CSV Reader/Writer for Scala
justjoheinz/ha-jobs
Run distributed, highly available (batch) jobs, with job locking and supervision
justjoheinz/atom-language-idris
A Idris Mode for Atom.io