github-activity-filter
Add filter search bar on Github activity page
Rating: -
|
Version: 0.0.1
|
Size: 514KiB
|
Language(s): English
|
mail
Rating history
Rating count & user count history
Similar extensions
| name | rating | # ratings | # users | categories | description | version | updated | |
|---|---|---|---|---|---|---|---|---|
Vintage Anime TV | - | 0 | 23 | Art & Design | Apply filters to webpages | 1.0 | February 21, 2024 | view details → |
JumpCloud Search Plugin | - | 0 | 30 | Workflow & Planning | Adds a search box to filter applications on console.jumpcloud.com | 2023.1105.22... | December 10, 2023 | view details → |
Filtering+ for Tumblr | - | 0 | 275 | Social Networking | Filter tags or post content via right-click | 1.0.1 | February 18, 2022 | view details → |
GitHub Recommender | 5 | 6 | 482 | Developer Tools | Get similar repositories on GitHub page | 1.2.0 | August 6, 2022 | view details → |
Banner Add n Drop Extensions | 5 | 1 | 8 | Education | Intended to be used on the class search result of the add and drop page of Georgians Banner Page | 1.0.0.0 | May 5, 2024 | view details → |
Noffort - GitHub Search Commits | 5 | 4 | 12 | Developer Tools | A extension to improve your experience searching commits in GitHub | 1.0.2 | September 29, 2023 | view details → |
Github Filter Messages | 5 | 5 | 9 | Developer Tools | Expand and Filter Github Messages, to make team commits and comments easier to read | 1.1 | May 10, 2023 | view details → |
AdvancedSearch for YouTube | 2.8 | 47 | 4k | Workflow & Planning | Adds more filters to the Search. | 1.4.1 | October 5, 2022 | view details → |
Starify Github repo links | 1 | 1 | 15 | Developer Tools | Add Github Stars badges to Github project links | 1.11 | May 30, 2024 | view details → |
GitHub Search Tool | 5 | 1 | 192 | Developer Tools | Instant access to the GitHub search bar | 0.2.2 | December 2, 2013 | view details → |
GitHub Wiki Search | 5 | 1 | 698 | Developer Tools | Simple search box for GitHub wikis. | 1.0.2 | November 7, 2021 | view details → |
Improved NAVER land filter - 네이버 부동산 추가 필터 | - | 0 | 73 | Workflow & Planning | Extended filter for NAVER land web | 1.0.0 | July 19, 2022 | view details → |
Github Active Forks | 4.5 | 2 | 187 | Developer Tools | Adds an active forks section on a Github Page | 0.0.3 | March 19, 2022 | view details → |
GitHub: My Profile Link | - | 0 | 77 | Accessibility | A Google Chrome extension that adds a convenient link to your GitHub profile in the existing navigation bar. | 2.1.0 | August 10, 2023 | view details → |
Itch Dashboard Filter | 5 | 3 | 141 | Developer Tools | Adds a search + filters to the Itch.io dashboard page. | 0.0.2 | January 31, 2022 | view details → |
Better Search For Github | 4 | 1 | 802 | Developer Tools | Save your favorite filters when searching in github repos | 1.3.0 | June 19, 2016 | view details → |
GitHub Search Extension | 5 | 1 | 43 | Tools | GitHub Search Extension | 1.1.5 | September 20, 2023 | view details → |
Follows You GitHub | - | 0 | 28 | Social Networking | Adds a "follows you" label on a GitHub follower profile or hovercard | 0.4.4 | April 20, 2023 | view details → |
Enhanced GitHub Projects | - | 0 | 1 | Developer Tools | A chrome extension for better GitHub Projects | 0.0.1 | April 14, 2019 | view details → |
Bit Tabs | 5 | 1 | 8 | Workflow & Planning | Extensão para monitorar abas em inatividade no navegador | 1.1 | May 18, 2023 | view details → |
Priority | - | 0 | 281 | Developer Tools | Filter and sort your GitHub PR overview | 0.1.0 | September 21, 2022 | view details → |