GitHub Pocket is a Chrome extension developed by David Pavlík. It falls under the category of Browsers and specifically the subcategory of Add-ons & Tools. This free extension allows users to easily save GitHub repositories to Pocket for later reading.

With GitHub Pocket, users no longer have to star a repository in order to remember it for later. Instead, they can simply add it to Pocket and access it at their convenience. This is particularly useful when users come across interesting repositories but don't have the time to explore them immediately.

The extension seamlessly integrates with GitHub, providing a convenient button to add repositories to Pocket. By saving repositories to Pocket, users can create a curated list of repositories to explore later, ensuring they don't miss out on any valuable resources.

GitHub Pocket is a handy tool for GitHub users who want to keep track of interesting repositories without cluttering their starred repositories list. It offers a simple and efficient way to save and organize repositories for later reading.