jeremy-w/fish-shell
The user-friendly command line shell.
Public GitHub Catalog
Discovered Oct 17, 2026
jeremy-w / tryidris
Try Idris
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.
#39301366GitHub System ID
jeremy-wOrganization / User
PublicVisibility
ActiveCatalog Status
More from jeremy-w
jeremy-w/ragel-cheat-sheet
Cheat sheet for the Ragel state machine compiler. (GPLv2+)
jeremy-w/thrift
Mirror of Apache Thrift
jeremy-w/BBUFullIssueNavigator
Xcode plugin for showing all issue content in the issue navigator.