gilligan/idris-formats
idris playground
Public GitHub Catalog
Discovered Sep 24, 2026
gilligan / homebrew
The missing package manager for OS X.
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.
#1937683GitHub 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