LeifW/idris-type-providers
Type provider library for Idris
Interoperability libraries & additional data structures and instances for Scalaz
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Type provider library for Idris
AUR web interface
rdf4h is a library for working with RDF in Haskell
An IRC bot that tries to support multiple languages