sjdrodge/fish_config
My configuration files for fish - http://fishshell.com/
Public GitHub Catalog
Discovered Sep 29, 2026
sjdrodge / idris-vim
Idris mode for vim
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#14600567GitHub System ID
sjdrodgeOrganization / User
PublicVisibility
ActiveCatalog Status
More from sjdrodge
sjdrodge/fortune_comics
pulls text from webcomics and displays it in the terminal.
sjdrodge/Idris-dev
A Dependently Typed Functional Programming Language
sjdrodge/RPN
Postfix converter and evaluator