Skip to content

Commit 0668e85

Browse files
committed
Robot Updated at:11 Feb 2024 21:08:24 GMT
1 parent 2c68778 commit 0668e85

8 files changed

+220
-132
lines changed

docs/awesome/awesome-browser-extensions-for-github.md

+52-52
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ Want to know more about this process? Check out the [Codeless Contributions with
2525

2626
Shows notifications when you get a new notification on GitHub and provides quick access to all notifications in a popup.
2727

28-
Installs: 134 | Stars: 78 | Last update: 2 Jun 2023
28+
Installs: 132 | Stars: 78 | Last update: 2 Jun 2023
2929

3030

3131
Removes clutter from your pull request by automatically marking as viewed files that aren't worth reviewing.
@@ -35,32 +35,32 @@ Installs: 39 | Stars: 8 | Last update: 14 Feb 2022
3535

3636
Next level code navigation for GitHub.
3737

38-
Installs: 612 | Stars: 61 | Last update: 20 Jul 2022
38+
Installs: 599 | Stars: 61 | Last update: 20 Jul 2022
3939

4040

4141
Visualize GitHub repos as d3 force-directed graphs. The extension gives you a quick overview of the size and composition of any repo.
4242

43-
Installs: 237 | Stars: 14 | Last update: 26 Apr 2022
43+
Installs: 234 | Stars: 14 | Last update: 26 Apr 2022
4444

4545

4646
The CoderStats link for GitHub Chrome extension displays a link to the CoderStats page for the currently displayed user or organization profile page on GitHub.
4747

48-
Installs: 805 | Stars: 20 | Last update: 2 May 2023
48+
Installs: 806 | Stars: 20 | Last update: 2 May 2023
4949

5050

5151
Show the # of PRs and other contributors stats in the Issues/PRs tab. Can be helpful for maintainers that want to know if it's a contributor's first PR.
5252

53-
Installs: 332 | Stars: 458 | Last update: 1 Mar 2021
53+
Installs: 328 | Stars: 458 | Last update: 1 Mar 2021
5454

5555

5656
Displays size of each file, download link and an option of copying file contents directly to clipboard
5757

58-
Installs: 40685 | Stars: 1958 | Last update: 25 Dec 2021
58+
Installs: 40673 | Stars: 1958 | Last update: 25 Dec 2021
5959

6060

6161
Easily search GIPHY to add a GIF into any GitHub comment box.
6262

63-
Installs: 10547 | Stars: 167 | Last update: 20 Jan 2024
63+
Installs: 10535 | Stars: 167 | Last update: 20 Jan 2024
6464

6565

6666
Find the best GIFs for your awesome pull requests.
@@ -70,27 +70,27 @@ Installs: 136 | Stars: 22 | Last update: n/a
7070

7171
Quickly browse the history of a file from any git repository.
7272

73-
Installs: 7220 | Stars: 13463 | Last update: 14 Oct 2023
73+
Installs: 7216 | Stars: 13463 | Last update: 14 Oct 2023
7474

7575

7676
GitHub provides a page that only shows diffs with a .diff at the end of the URL of the pull request. This browser extension makes it easier to view csv diffs by using daff on that page.
7777

78-
Installs: 32 | Stars: 4 | Last update: 18 Apr 2021
78+
Installs: 34 | Stars: 4 | Last update: 18 Apr 2021
7979

8080

8181
Code folding - the ability to selectively hide and display sections of a code - is an invaluable feature in many text editors and IDEs. Now, developers can utilize that same style code-folding while poring over source code on the web in GitHub. Works for any type of indentation- spaces or tabs.
8282

83-
Installs: 3127 | Stars: 289 | Last update: 14 Jul 2022
83+
Installs: 3125 | Stars: 289 | Last update: 14 Jul 2022
8484

8585

8686
Set custom tab size for code view on GitHub.com
8787

88-
Installs: 557 | Stars: 67 | Last update: 6 May 2019
88+
Installs: 558 | Stars: 67 | Last update: 6 May 2019
8989

9090

9191
Easily navigate through the changes in a file that has been edited on GitHub.
9292

93-
Installs: 197 | Stars: 19 | Last update: 28 Apr 2023
93+
Installs: 195 | Stars: 19 | Last update: 28 Apr 2023
9494

9595

9696
A browser extension which gives different filetypes different icons on GitHub.
@@ -105,17 +105,17 @@ Installs: 1000 | Stars: 143 | Last update: 8 Oct 2019
105105

106106
Neat hovercards for GitHub.
107107

108-
Installs: 26631 | Stars: 1797 | Last update: 12 May 2021
108+
Installs: 26637 | Stars: 1797 | Last update: 12 May 2021
109109

110110

111111
Colorize issue and PR links to see their status (open, closed, merged).
112112

113-
Installs: 928 | Stars: 295 | Last update: 15 Dec 2023
113+
Installs: 922 | Stars: 295 | Last update: 15 Dec 2023
114114

115115

116116
Displays npm package stats on GitHub
117117

118-
Installs: 616 | Stars: 57 | Last update: 31 May 2020
118+
Installs: 606 | Stars: 57 | Last update: 31 May 2020
119119

120120

121121
Lists repositories that are similar to the one being viewed
@@ -125,27 +125,27 @@ Installs: 482 | Stars: 45 | Last update: 10 Aug 2022
125125

126126
Revert closed GitHub issues from purple back to red
127127

128-
Installs: 27 | Stars: 38 | Last update: 3 Feb 2024
128+
Installs: 28 | Stars: 38 | Last update: 3 Feb 2024
129129

130130

131131
Automatically adds repository size to GitHub's repository summary.
132132

133-
Installs: 20000 | Stars: 1188 | Last update: 26 Jun 2020
133+
Installs: 20000 | Stars: 1189 | Last update: 26 Jun 2020
134134

135135

136136
Chrome extension to see story points in GitHub projects.
137137

138-
Installs: 619 | Stars: 60 | Last update: 17 Aug 2020
138+
Installs: 611 | Stars: 60 | Last update: 17 Aug 2020
139139

140140

141141
Generates a pie chart on user profile pages displaying a breakdown of what languages they have used in their repositories.
142142

143-
Installs: 953 | Stars: 48 | Last update: 25 Sep 2023
143+
Installs: 944 | Stars: 48 | Last update: 25 Sep 2023
144144

145145

146146
This extension adds the simplicity of WYSIWYG editing to issues, comments, pull requests, wikis and discussions in GitHub. It accepts Markdown input and offers productive writing, starting with tables.
147147

148-
Installs: 2126 | Stars: 362 | Last update: 14 Nov 2023
148+
Installs: 2123 | Stars: 362 | Last update: 14 Nov 2023
149149

150150

151151
View and create Linear tickets from any GitHub PR or issue.
@@ -160,17 +160,17 @@ Installs: 2000 | Stars: 289 | Last update: 30 Sep 2021
160160

161161
It can make the sub-directories and files of github repository as zip and download it
162162

163-
Installs: 103472 | Stars: 35 | Last update: 21 Aug 2023
163+
Installs: 103413 | Stars: 35 | Last update: 21 Aug 2023
164164

165165

166166
Create, save, edit, pin, search and delete filters that you commonly use on the Github Issues and Pull Requests pages. You are able to scope filters to be shown globally (on each repo) or only have them show up on the repo you create them on. Pinning filters is also a feature that this extension allows you to do. So if you have several filters you use daily - you have a way to quickly access them, at the top of your list.
167167

168-
Installs: 555 | Stars: n/a | Last update: 22 Aug 2022
168+
Installs: 553 | Stars: n/a | Last update: 22 Aug 2022
169169

170170

171171
Extension to get back current and longest streak.
172172

173-
Installs: 669 | Stars: 227 | Last update: 10 Jan 2023
173+
Installs: 670 | Stars: 227 | Last update: 10 Jan 2023
174174

175175

176176
Replace browser new tab screen with GitHub trending projects.
@@ -180,69 +180,69 @@ Installs: 2000 | Stars: 346 | Last update: n/a
180180

181181
Hide dotfiles from the GitHub file browser.
182182

183-
Installs: 712 | Stars: 317 | Last update: 17 Sep 2021
183+
Installs: 702 | Stars: 317 | Last update: 17 Sep 2021
184184

185185

186186
Allows you to toggle between the normal GitHub contribution chart and an isometric pixel art version.
187187

188-
Installs: 10000 | Stars: 3430 | Last update: 19 Nov 2023
188+
Installs: 10000 | Stars: 3429 | Last update: 19 Nov 2023
189189

190190

191191
Browser extension to add git graph to GitHub website.
192192

193-
Installs: 6422 | Stars: 2468 | Last update: 1 Jan 2024
193+
Installs: 6416 | Stars: 2469 | Last update: 1 Jan 2024
194194

195195

196196
Chrome extension that adds a button in browser and links this button to a GitHub repository that you will configure, then on any webpage just click this extension button and it will add the given link with the title of the page in that repository.
197197

198-
Installs: 55 | Stars: 234 | Last update: 26 May 2018
198+
Installs: 57 | Stars: 234 | Last update: 26 May 2018
199199

200200

201201
See forks with the most stars under the names of repositories.
202202

203-
Installs: 1346 | Stars: 571 | Last update: 6 Nov 2023
203+
Installs: 1342 | Stars: 572 | Last update: 6 Nov 2023
204204

205205

206206
Show Material icons for files/folders in repository file viewer. Display the same icons from vscode-material-icon-theme VSCode extension.
207207

208-
Installs: 10759 | Stars: 416 | Last update: 10 Jan 2024
208+
Installs: 10750 | Stars: 416 | Last update: 10 Jan 2024
209209

210210

211211
An extension that creates direct links to imported modules, external or internal, on source code on GitHub. Supports multiple languages, including common ones like Rust, Go, Python and Ruby, but also odd ones like Nim, Haskell, Julia and Elm.
212212

213-
Installs: 40 | Stars: 248 | Last update: 27 Nov 2019
213+
Installs: 41 | Stars: 249 | Last update: 27 Nov 2019
214214

215215

216216
Chrome extension which helps you not to miss important changes in your news thread related to your repo
217217

218-
Installs: 18 | Stars: 15 | Last update: 1 Oct 2018
218+
Installs: 17 | Stars: 15 | Last update: 1 Oct 2018
219219

220220

221221
A Chrome and Firefox extension to quickly see your notifications in a popup without leaving the current page.
222222

223-
Installs: 423 | Stars: 140 | Last update: 6 Apr 2023
223+
Installs: 421 | Stars: 140 | Last update: 6 Apr 2023
224224

225225

226226
Displays your GitHub notifications unread count. Supports GitHub Enterprise and an option to only show unread count for issues you're participating in. You can click the icon to quickly see your unread notifications.
227227

228-
Installs: 10581 | Stars: 1766 | Last update: 12 Jul 2023
228+
Installs: 10566 | Stars: 1766 | Last update: 12 Jul 2023
229229

230230

231231
Filter your pull requests/issues in different categories giving you a big boost in productivity. Also suggests new trending repositories.
232232

233-
Installs: 105 | Stars: 135 | Last update: 5 Jan 2024
233+
Installs: 101 | Stars: 135 | Last update: 5 Jan 2024
234234

235235

236236
OctoLinker is the easiest and best way to navigate between files and projects on GitHub. It supports languages such as JavaScript, Ruby, Go, PHP, JAVA and more. It works with package.json as well as with Gemfiles.
237237

238-
Installs: 32783 | Stars: 5219 | Last update: 13 Nov 2022
238+
Installs: 32774 | Stars: 5222 | Last update: 13 Nov 2022
239239

240240

241241
OctoPermalinker is a browser extension that searches GitHub comments/files for links to files on branches, and adds a link to where the branch pointed when the comment/file was made/updated. This helps you avoid following a link that was broken after being posted. For context, here's some discussion about broken GitHub links: [Don't link to line numbers in GitHub](https://news.ycombinator.com/item?id=8046710).
242242

243243
For example, suppose you're looking at a gist that links to a file on the master branch of a repo. At the time the gist was made, the link worked, but if the file gets removed, the link is broken. OctoPermalinker uses the gist creation date to add a permalink that still works.
244244

245-
Installs: 239 | Stars: 23 | Last update: 20 May 2017
245+
Installs: 232 | Stars: 23 | Last update: 20 May 2017
246246

247247

248248
The missing IntelliSense hint for GitHub and GitLab
@@ -252,42 +252,42 @@ Installs: 4000 | Stars: 960 | Last update: 4 Feb 2022
252252

253253
Useful for developers who frequently read source in GitHub and do not want to download or checkout too many repositories.
254254

255-
Installs: 337449 | Stars: 22630 | Last update: 4 Jan 2024
255+
Installs: 337292 | Stars: 22630 | Last update: 4 Jan 2024
256256

257257

258258
Revert GitHub's UI back to its classic look (before the June 23, 2020 update that has a flat, rounded and more whitespaced design).
259259

260-
Installs: 394 | Stars: 221 | Last update: 30 Apr 2023
260+
Installs: 398 | Stars: 221 | Last update: 30 Apr 2023
261261

262262

263263
This browser extension allows you to open files in your IDE directly from GitHub, assuming the repository you are working on is cloned on your computer. When a fragment of a file is displayed, your IDE opens the file and puts the cursor at the desired line.
264264

265-
Installs: 1050 | Stars: 66 | Last update: 23 Sep 2023
265+
Installs: 1048 | Stars: 66 | Last update: 23 Sep 2023
266266

267267

268268
Helps you keep track of incoming and outgoing PRs, and notifies you when you receive a pull request on GitHub.
269269

270-
Installs: 771 | Stars: 111 | Last update: 21 Jun 2023
270+
Installs: 764 | Stars: 111 | Last update: 21 Jun 2023
271271

272272

273273
Browser extension that shows which pull requests contain changes related to a file.
274274

275-
Installs: 46 | Stars: 96 | Last update: 15 Oct 2020
275+
Installs: 45 | Stars: 96 | Last update: 15 Oct 2020
276276

277277

278278
Extension that simplifies the GitHub interface and adds useful features.
279279

280-
Installs: 78835 | Stars: 22582 | Last update: 8 Feb 2024
280+
Installs: 78679 | Stars: 22586 | Last update: 8 Feb 2024
281281

282282

283283
Are they tabs? Are they spaces? How many? Never wonder again! Renders spaces as `·` and tabs as `` in all the code on GitHub.
284284

285-
Installs: 614 | Stars: 74 | Last update: 25 Aug 2018
285+
Installs: 612 | Stars: 74 | Last update: 25 Aug 2018
286286

287287

288288
Introduces the Explore tab in the pull request interface where you can review changes ordered by importance and see the semantic context surrounding each change.
289289

290-
Installs: 35 | Stars: n/a | Last update: 10 Aug 2020
290+
Installs: 36 | Stars: n/a | Last update: 10 Aug 2020
291291

292292

293293
The Sourcegraph browser extension gives GitHub IDE-like powers when you're viewing code, pull requests, and diffs:
@@ -298,17 +298,17 @@ The Sourcegraph browser extension gives GitHub IDE-like powers when you're viewi
298298
4. Hover tooltips
299299
5. File tree navigation
300300

301-
Installs: 100979 | Stars: 9445 | Last update: 12 Dec 2023
301+
Installs: 100949 | Stars: 9449 | Last update: 12 Dec 2023
302302

303303

304304
Make tab indented code more readable by forcing the tab size to 4 instead of 8.
305305

306-
Installs: 1000 | Stars: 279 | Last update: 25 Sep 2021
306+
Installs: 2000 | Stars: 279 | Last update: 25 Sep 2021
307307

308308

309309
Helps you see easily which activities happened since you last visited GitHub.
310310

311-
Installs: 170 | Stars: 32 | Last update: n/a
311+
Installs: 164 | Stars: 32 | Last update: n/a
312312

313313

314314
Generate a magic link for your PR and post it on shared Slack channel, to entice reviewers to pick up your PR faster!
@@ -323,12 +323,12 @@ Installs: 70000 | Stars: n/a | Last update: 6 Feb 2024
323323

324324
All your issues, PRs, repos and other work documents right in your new tab
325325

326-
Installs: 20176 | Stars: n/a | Last update: 17 Oct 2023
326+
Installs: 20171 | Stars: n/a | Last update: 17 Oct 2023
327327

328328

329329
file tree for github, and more than that.
330330

331-
Installs: 10374 | Stars: n/a | Last update: 15 Dec 2023
331+
Installs: 10364 | Stars: n/a | Last update: 15 Dec 2023
332332

333333

334334
Add breakpoints at 1400px, 1600px and 1800px for full GitHub experience on large screens. Also removes the truncating of file and directory names in the repository browser.
@@ -338,14 +338,14 @@ Installs: 2000 | Stars: 131 | Last update: 24 Jul 2020
338338

339339
gitpod streamlines developer workflows by providing ready-to-code development environments in your browser - powered by vs code.
340340

341-
Installs: 52503 | Stars: 131 | Last update: 18 Jan 2024
341+
Installs: 52461 | Stars: 131 | Last update: 18 Jan 2024
342342

343343

344344
When viewing a repository on github.com that has a package.json file, this extension will introspect the dependencies in package.json and display links and description for each dependency, just below the repo's README.
345345

346-
Installs: 2090 | Stars: 735 | Last update: 20 Dec 2023
346+
Installs: 2088 | Stars: 736 | Last update: 20 Dec 2023
347347

348348

349349
Extends GitHub pages with math, diagrams, embedded YouTube videos etc.
350350

351-
Installs: 431 | Stars: 88 | Last update: 22 Aug 2023
351+
Installs: 426 | Stars: 88 | Last update: 22 Aug 2023

docs/awesome/awesome-java.md

+4-2
Original file line numberDiff line numberDiff line change
@@ -166,7 +166,7 @@ _Libraries that help with implementing optimization and satisfiability problems.
166166
- [Choco](https://choco-solver.org) - Off-the-shelf constraint satisfaction problem solver that uses constraint programming techniques.
167167
- [JaCoP](https://github.com/radsz/jacop) - Includes an interface for the FlatZinc language, enabling it to execute MiniZinc models. (AGPL-3.0)
168168
- [OptaPlanner](https://www.optaplanner.org) - Business planning and resource scheduling optimization solver.
169-
- [Timefold](https://github.com/TimefoldAI/timefold-solver) - Flexible solver with Spring/Quarkus support and quickstarts for the Vehicle Routing Problem, Maintenance Scheduling, Employee Shift Scheduling and much more.
169+
- [Timefold](https://timefold.ai/docs) - Flexible solver with Spring/Quarkus support and quickstarts for the Vehicle Routing Problem, Maintenance Scheduling, Employee Shift Scheduling and much more.
170170

171171
### CSV
172172

@@ -608,6 +608,7 @@ _Everything else._
608608
- [Design Patterns](https://github.com/iluwatar/java-design-patterns) - Implementation and explanation of the most common design patterns.
609609
- [FF4J](https://github.com/ff4j/ff4j) - Feature Flags for Java.
610610
- [FizzBuzz Enterprise Edition](https://github.com/EnterpriseQualityCoding/FizzBuzzEnterpriseEdition) - No-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes. (No explicit license)
611+
- [IP2Location.io Java SDK](https://github.com/ip2location/ip2location-io-java) - Wrapper for the IP2Location.io Geolocation API and the IP2WHOIS domain WHOIS API.
611612
- [J2ObjC](https://github.com/google/j2objc) - Java-to-Objective-C translator for porting Android libraries to iOS.
612613
- [JBake](https://jbake.org) - Static website generator.
613614
- [JBot](https://github.com/rampatra/jbot) - Framework for building chatbots. (GPL-3.0-only)
@@ -1037,9 +1038,10 @@ _Other stuff related to testing._
10371038
- [LogCaptor](https://github.com/Hakky54/log-captor) - Captures log entries for unit testing purposes.
10381039
- [log-capture](https://github.com/dm-drogeriemarkt/log-capture) - Captures log entries and provides assertions for unit and integration testing.
10391040
- [Mutability Detector](https://github.com/MutabilityDetector/MutabilityDetector) - Reports whether instances of a given class are immutable.
1041+
- [pojo-tester](https://www.pojo.pl) - Automatically performs tests on basic POJO methods. (LGPL-3.0-only)
10401042
- [raml-tester](https://github.com/nidi3/raml-tester) - Tests if a request/response matches a given RAML definition.
1043+
- [Selfie](https://github.com/diffplug/selfie) - Snapshot testing (inline and on disk).
10411044
- [TestContainers](https://github.com/testcontainers/testcontainers-java) - Provides throwaway instances of common databases, Selenium web browsers, or anything else that can run in a Docker container.
1042-
- [pojo-tester](https://www.pojo.pl) - Automatically performs tests on basic POJO methods. (LGPL-3.0-only)
10431045

10441046
#### Mocking
10451047

docs/awesome/awesome-micropython.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -216,7 +216,7 @@ Other places you can look for MicroPython Libraries:
216216

217217
#### MQTT
218218

219-
* [micropython-mqtt](https://github.com/peterhinch/micropython-mqtt) - A 'resilient' asynchronous MQTT driver. Plus a means of using an ESP8266 to bring MQTT to non-networked targets.
219+
* [micropython-mqtt](https://github.com/peterhinch/micropython-mqtt) - A 'resilient' asynchronous MQTT client: recovers from WiFi and broker outages.
220220
* [MQBoard](https://github.com/tve/mqboard) - A micro-framework for using MQTT with asyncio on MicroPython boards, primarily on the ESP32.
221221
* [pysmartnode](https://github.com/kevinkk525/pysmartnode) - MicroPython Smart Home framework.
222222
* [umqtt_aws_iot](https://github.com/juwul/umqtt_aws_iot) - Publish UMQTT messages with MicroPython to AWS IoT.

docs/awesome/awesome-neovim.md

+1
Original file line numberDiff line numberDiff line change
@@ -98,6 +98,7 @@
9898
- [piersolenski/wtf.nvim](https://github.com/piersolenski/wtf.nvim) - AI powered diagnostic debugging, helps explain complex errors and offers custom tailored solutions.
9999
- [folke/lsp-colors.nvim](https://github.com/folke/lsp-colors.nvim) - A plugin that adds missing LSP diagnostics highlight groups for color schemes that don't yet support the builtin LSP client.
100100
- [chrisgrieser/nvim-rulebook](https://github.com/chrisgrieser/nvim-rulebook) - Add inline-comments to ignore rules, or lookup rule documentation online.
101+
- [artemave/workspace-diagnostics.nvim](https://github.com/artemave/workspace-diagnostics.nvim) - Populate diagnostics for all projects files, not just the opened ones.
101102

102103
## Completion
103104

0 commit comments

Comments
 (0)