silky/autojump
A cd command that learns - easily navigate directories from the command line
Public GitHub Catalog
Discovered Sep 30, 2026
silky / Idris-dev
A Dependently Typed Functional Programming Language
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.
#19395352GitHub System ID
silkyOrganization / User
PublicVisibility
ActiveCatalog Status
More from silky
silky/twitter_ebooks
Better twitterbots for all your friends~
silky/Elm
Compiler for the Elm programming language. Elm aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.
silky/OpenBazaar
Public repository.