LeifW/idris-demos
Collection of Idris tests and demonstration programs
Public GitHub Catalog
Discovered Sep 24, 2026
LeifW / volunteer_matches
DB to match volunteers with students based on availability.
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.
#658657GitHub 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/rdf4h
rdf4h is a library for working with RDF in Haskell