GitHub, which started as a code-hosting platform, has become an integral part of the lives of programmers around the world. From excellent enterprises to excellent programmers, their best code works are stored in this open source pure land for mutual learning and communication.

GitHub Trending has even become a daily news and must-read for IT professionals. In a previous post, I also talked about GitHub’s importance to us as individual programmers: Talk about GitHub’s brand value to programmers.

Given how important GitHub is and how much we use it, it’s worth checking out some of GitHub’s best browser add-ons and other tools. This article will sort out some, I usually use the most handy things, all recommended absolute dry goods!

Chrome Extension

Note: The section of this category can be searched in the Chrome App Store, or you can directly click the subtitle to jump to the plugin details page.

Octotree


It is curious that GitHub, as a code-hosting platform, does not provide a project directory for quick online viewing of the project structure. As a result, parsing a project’s source code online becomes tedious, having to click layer by layer and then go back up again and again. GitHub’s access to China is already slow. The worst option is to download it locally and open it with an editor such as Sublime.

Octotree, a Chrome add-on, addresses this pain point. It can provide project catalogs, quick navigation, and easy browsing just like an IDE. Support GitHub and GitLab, two common code hosting sites. Even better, you can choose whether to display the contents or not.

GitHub Plus


GitHub Plus is also useful as a Chrome plugin. The ability to display the size of the code repository, as well as the size and download links for each file in it. With this plug-in, we no longer have to download the entire project’s source code because we need a single file, especially if the Internet connection is slow.

GitHub Hovercard


When you hover over a GitHub user profile picture or warehouse link, a pop-up box pops up that gives you a preview of basic information. It’s similar to the mouse-over effect on StackOverflow’s avatars. Hovercard plugin supports more hover locations, including user profile picture, warehouse address, Issue link, personal home page, etc. Let’s use pictures to be more direct:

Sourcegraph for GitHub


Code search, view references, auto-jump, and project directory navigation are all common IDE features that you can use online with the Help of the Sourcegraph plugin. As shown in figure:

Octo Mate


GitHub Plus does a lot like GitHub Plus, showing project sizes and clicking to download any files. As shown in figure:

Awesome Autocomplete for GitHub


GitHub smart search plugin. A bit similar to auto complete function, real-time monitoring input search keywords, automatic listing of relevant content. As the official description says, we are committed to building the best search engine on GitHub, helping you find your repository and your users faster than ever before.

Isometric Contributions


A 3D pixel display of warehouse submission records on GitHub. Compared with the traditional block chart, more aesthetic. Of course, with this plugin, you can freely switch between different presentation styles, rather than one size fits all.

High efficiency management tools

These are Chrome plugins that basically solve the pain points we encounter when we use GitHub to search online or browse a repository. However, there is still a very important pain point that has not been solved, that is, the warehouse management problem we have mentioned.

GitHub is home to thousands of great open source projects in any IT field. Therefore, it is not uncommon for collections to focus on dozens or hundreds of items. Without labels and easy retrieval functions, how to efficiently manage these focused items? Maybe you can try some of the tools these sites offer.

OhMyStar2


The OhMyStar2 client is highly recommended as the best way to manage GitHub Stars. Automatically synchronizes the Stars of GitHub account, has two classification methods of tag and score to help you group and manage projects, automatically sort according to the name, date and other indicators, three-way sharing function, and even provides daily Trending browsing, which is the best, worthy of the name!

Astral


It also provides a tagging way to manage the projects that your GitHub account follows. However, through the website online management, there is no PC version of the client. Free trial.

Insight.io


The tool works a bit like an IDE, providing quick navigation, code search, view references, and click-to-jump features commonly used in development.

I think these tools will make GitHub a lot more productive for our programmers. To do a good job, he must sharpen his tools. Standing on the shoulders of giants, it is easier to get twice the result with half the effort. Using tools well, in another way, is also an ability not to be ignored.

Since I have been engaged in the IT industry, I feel that the Internet is fair for everyone. IT is particularly important to broaden our horizons and improve our learning ability and work efficiency by using the network platform. Fortunately, we are in this most fashionable industry, learning together, progress together.

Note: For more excellent Chrome add-ons under development, please visit my GitHub repository address: github.com/Mike-bel/aw…

About me: Yifeng, blog address: Yifeng. Studio /, Sina Weibo: IT Yifeng

Scan the QR code on wechat, welcome to follow my personal public account: Android Notexia

Not only share my original technical articles, but also the programmer’s workplace reverie