gilligan/idris-formats
idris playground
Public GitHub Catalog
Discovered Oct 2, 2026
gilligan / hoobuddy
Tool for project based fetching of hoogle databases
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.
#22881279GitHub System ID
gilliganOrganization / User
PublicVisibility
ActiveCatalog Status
More from gilligan
gilligan/nvimrc
neovim config
gilligan/nixconfig
nixpkgs configuration
gilligan/ramda-fantasy
:ram::sparkles: Fantasy-Land compatible types for easy integration with Ramda.js