GitHub Hovercard
Refined GitHub
GitZip
Enhanced GitHub
Board for Github
GitHub Folder Downloader
DownGit
Octo Mate
DocFetcher
Everything by Voidtools
Agent Ransack
Recoll
SearchMyFiles
Keypirinha
Listary
Searchmonkey
GitHub Hovercard DocFetcherDocFetcher is recommended for users who require an efficient tool to manage and search through diverse file types, such as documents, PDFs, and archives. It is particularly useful for researchers, students, and professionals who deal with large volumes of data and need to quickly locate specific information.
I love DocFetcher! I discovered this gem of a program when Windows stopped supporting string searches in word processors other than Word.
Based on our record, DocFetcher seems to be a lot more popular than GitHub Hovercard. While we know about 12 links to DocFetcher, we've tracked only 1 mention of GitHub Hovercard. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
GitHub Hovercard brings you instant access to quick information about the user, repo, issues, commits, and pull requests information from anywhere on GitHub. - Source: dev.to / over 4 years ago
I use https://docfetcher.sourceforge.net/en/index.html to index and search large repos of docs. I use Papermerge for my digital file cabinet though. DocFetcher is good for searching an existing repository of files. Source: over 3 years ago
As they state, it is crap-free, free forever, cross-platform, portable, private (local only), and indexes only what you need. You can also set minimum and maximum file sizes to index. See https://docfetcher.sourceforge.net/en/index.html. Source: over 3 years ago
What I'd recommend is setting up a digital and/or physical technical library. Download any useful documents, books, standards etc. and store them in a clear, concise folder structure. Then create an index of the library with a tool like DocFetcher. (Think of it as Google for your technical library) This should make it fast and easy to find the relevant information when you need it. Source: over 3 years ago
DocFetcher? https://docfetcher.sourceforge.net/en/index.html. Source: over 3 years ago
I use Outlook for e-mail and calendars. I use Evernote to store my notes. I also have a folder in Dropbox called "docs" where I store TXT (and others like DOCX and PDF etc) files for tasks/projects like the cisco firmware update example. I use DocFetcher (https://docfetcher.sourceforge.net/en/index.html) to perform search on the stored notes in TXT / DOCX / PDF / etc. Source: over 3 years ago
Refined GitHub - Browser extension that makes GitHub cleaner & more powerful
Everything by Voidtools - Everything. Locate files and folders by name instantly. Everything. Small installation file. Clean and simple user interface.
GitZip - Download or create a download link for a GitHub project folder/sub-folder or file.
Agent Ransack - Agent Ransack is a tool for finding files and information on your hard drive fast and efficiently.
Enhanced GitHub - :rocket: Chrome extension to display size of each file, download link and copy file contents directly to clipboard - softvar/enhanced-github
Recoll - Recoll is a desktop full-text search tool. Recoll finds keywords inside documents as well as file names.
