LeifW/idris-demos
Collection of Idris tests and demonstration programs
Public GitHub Catalog
Discovered Oct 16, 2026
LeifW / rdf4h
rdf4h is a library for working with RDF in Haskell
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.
#39169919GitHub System ID
LeifWOrganization / User
PublicVisibility
ActiveCatalog Status
More from LeifW
LeifW/idris-type-providers
Type provider library for Idris
LeifW/aurweb
AUR web interface
LeifW/multibot
An IRC bot that tries to support multiple languages