Skip to content

Commit

Permalink
Robot Updated at:21 Jul 2023 21:07:22 GMT
Browse files Browse the repository at this point in the history
  • Loading branch information
yiliuyan161 committed Jul 21, 2023
1 parent f5bbebb commit 6f8d0b5
Show file tree
Hide file tree
Showing 26 changed files with 117 additions and 74 deletions.
4 changes: 3 additions & 1 deletion docs/awesome/awesome-ada.md
Original file line number Diff line number Diff line change
Expand Up @@ -357,7 +357,9 @@ language. It is loosely modelled after JUnit and some ideas from AUnit.

### Science
- [si](http://archive.adaic.com/tools/CKWG/Dimension/SI.html) - SI units checked and unchecked.

- [units-of-measurement](http://www.dmitry-kazakov.de/ada/units.htm) - Library to manage units of measurement with dimension checking.
- [si_units](https://github.com/HeisenbugLtd/si_units) - Utility library to pretty print physical values in proper metric units.

### Algorithms, Containers and Protocols
- [ada-language-server](https://github.com/AdaCore/ada_language_server) - Adacore server implemention of the the Microsoft Language Protocol for Ada and SPARK.
- [ada-lsp](https://github.com/reznikmm/ada-lsp) - Language Server Protocol for Ada.
Expand Down
2 changes: 2 additions & 0 deletions docs/awesome/awesome-agi-cocosci.md
Original file line number Diff line number Diff line change
Expand Up @@ -1095,6 +1095,8 @@ Contributions are greatly welcomed! Please refer to [Contribution Guidelines](ht

* [Insight Is Not in the Problem: Investigating Insight in Problem Solving across Task Types](https://www.frontiersin.org/articles/10.3389/fpsyg.2016.01424/full) - ***Frontiers in Psychology***, 2016. [[All Versions](https://scholar.google.com/scholar?cluster=4564128114316001308&hl=en&as_sdt=2005&sciodt=0,5)].

* [Multiple Causes of Difficulty in Insight: The Case of the Nine-Dot Problem](https://www.researchgate.net/profile/Trina-Kershaw/publication/8909474_Multiple_Causes_of_Difficulty_in_Insight_The_Case_of_the_Nine-Dot_Problem/links/55dca27e08aeb38e8a8d23b6/Multiple-Causes-of-Difficulty-in-Insight-The-Case-of-the-Nine-Dot-Problem.pdf) - ***Journal of Experimental Psychology***, 2004. [[All Versions](https://scholar.google.com/scholar?cluster=15600199808825346018&hl=en&as_sdt=0,5)]. [[APA](https://psycnet.apa.org/record/2003-10949-001)].


#### Rationality

Expand Down
92 changes: 46 additions & 46 deletions docs/awesome/awesome-browser-extensions-for-github.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,42 +25,42 @@ Want to know more about this process? Check out the [Codeless Contributions with

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

Installs: 133 | Stars: 76 | Last update: 2 Jun 2023
Installs: 135 | Stars: 76 | Last update: 2 Jun 2023


Removes clutter from your pull request by automatically marking as viewed files that aren't worth reviewing.

Installs: 34 | Stars: 7 | Last update: 14 Feb 2022
Installs: 35 | Stars: 7 | Last update: 14 Feb 2022


Next level code navigation for GitHub.

Installs: 611 | Stars: 54 | Last update: 20 Jul 2022
Installs: 616 | Stars: 54 | Last update: 20 Jul 2022


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

Installs: 218 | Stars: 12 | Last update: 26 Apr 2022
Installs: 208 | Stars: 12 | Last update: 26 Apr 2022


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.

Installs: 786 | Stars: 19 | Last update: 2 May 2023
Installs: 798 | Stars: 19 | Last update: 2 May 2023


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.

Installs: 332 | Stars: 455 | Last update: 1 Mar 2021
Installs: 330 | Stars: 455 | Last update: 1 Mar 2021


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

Installs: 40682 | Stars: 1847 | Last update: 25 Dec 2021
Installs: 40690 | Stars: 1847 | Last update: 25 Dec 2021


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

Installs: 9411 | Stars: 146 | Last update: 29 Nov 2022
Installs: 9421 | Stars: 147 | Last update: 29 Nov 2022


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

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

Installs: 7229 | Stars: 13357 | Last update: 6 May 2020
Installs: 7234 | Stars: 13359 | Last update: 6 May 2020


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.
Expand All @@ -80,22 +80,22 @@ Installs: 25 | Stars: 3 | Last update: 18 Apr 2021

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.

Installs: 3123 | Stars: 285 | Last update: 14 Jul 2022
Installs: 3125 | Stars: 285 | Last update: 14 Jul 2022


Set custom tab size for code view on github.com

Installs: 570 | Stars: 68 | Last update: 6 May 2019
Installs: 564 | Stars: 68 | Last update: 6 May 2019


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

Installs: 201 | Stars: 19 | Last update: 28 Apr 2023
Installs: 200 | Stars: 19 | Last update: 28 Apr 2023


A browser extension which gives different filetypes different icons on GitHub.

Installs: 10000 | Stars: 1278 | Last update: 21 Mar 2023
Installs: 10000 | Stars: 1279 | Last update: 21 Mar 2023


Highlight selected word in GitHub source view like Sublime Text.
Expand All @@ -105,27 +105,27 @@ Installs: 1000 | Stars: 141 | Last update: 8 Oct 2019

Neat hovercards for GitHub.

Installs: 26427 | Stars: 1772 | Last update: 12 May 2021
Installs: 25434 | Stars: 1773 | Last update: 12 May 2021


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

Installs: 932 | Stars: 293 | Last update: 4 Nov 2021
Installs: 935 | Stars: 293 | Last update: 4 Nov 2021


Displays npm package stats on GitHub

Installs: 624 | Stars: 56 | Last update: 31 May 2020
Installs: 636 | Stars: 56 | Last update: 31 May 2020


Lists repositories that are similar to the one being viewed

Installs: 301 | Stars: 36 | Last update: 10 Aug 2022
Installs: 292 | Stars: 36 | Last update: 10 Aug 2022


Revert closed GitHub issues from purple back to red

Installs: 24 | Stars: 38 | Last update: 29 Jun 2023
Installs: 25 | Stars: 38 | Last update: 29 Jun 2023


Automatically adds repository size to GitHub's repository summary.
Expand All @@ -135,17 +135,17 @@ Installs: 20000 | Stars: 1156 | Last update: 26 Jun 2020

Chrome extension to see story points in GitHub projects.

Installs: 639 | Stars: 60 | Last update: 17 Aug 2020
Installs: 640 | Stars: 60 | Last update: 17 Aug 2020


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

Installs: 1037 | Stars: 46 | Last update: 16 Jun 2022
Installs: 1039 | Stars: 46 | Last update: 16 Jun 2022


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.

Installs: 2127 | Stars: 331 | Last update: 14 Jun 2023
Installs: 2130 | Stars: 331 | Last update: 14 Jun 2023


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

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

Installs: 103097 | Stars: 29 | Last update: 18 May 2023
Installs: 103130 | Stars: 29 | Last update: 18 May 2023


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.

Installs: 515 | Stars: n/a | Last update: 22 Aug 2022
Installs: 516 | Stars: n/a | Last update: 22 Aug 2022


Extension to get back current and longest streak.

Installs: 663 | Stars: 223 | Last update: 10 Jan 2023
Installs: 665 | Stars: 223 | Last update: 10 Jan 2023


Replace browser new tab screen with GitHub trending projects.
Expand All @@ -180,27 +180,27 @@ Installs: 2000 | Stars: 344 | Last update: n/a

Hide dotfiles from the GitHub file browser.

Installs: 658 | Stars: 315 | Last update: 17 Sep 2021
Installs: 660 | Stars: 316 | Last update: 17 Sep 2021


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

Installs: 10000 | Stars: 3364 | Last update: 17 Apr 2023
Installs: 10000 | Stars: 3363 | Last update: 17 Apr 2023


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.

Installs: 59 | Stars: 231 | Last update: 26 May 2018
Installs: 64 | Stars: 231 | Last update: 26 May 2018


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

Installs: 1309 | Stars: 548 | Last update: 1 Sep 2021
Installs: 1314 | Stars: 548 | Last update: 1 Sep 2021


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

Installs: 10547 | Stars: 357 | Last update: 16 Jul 2023
Installs: 10557 | Stars: 357 | Last update: 16 Jul 2023


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.
Expand All @@ -215,12 +215,12 @@ Installs: 21 | Stars: 14 | Last update: 1 Oct 2018

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

Installs: 431 | Stars: 142 | Last update: 6 Apr 2023
Installs: 439 | Stars: 142 | Last update: 6 Apr 2023


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.

Installs: 10498 | Stars: 1719 | Last update: 12 Jul 2023
Installs: 10508 | Stars: 1719 | Last update: 12 Jul 2023


Filter your pull requests/issues in different categories giving you a big boost in productivity. Also suggests new trending repositories.
Expand All @@ -230,14 +230,14 @@ Installs: 1 | Stars: 129 | Last update: 16 Jan 2020

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.

Installs: 32419 | Stars: 5159 | Last update: 13 Nov 2022
Installs: 32434 | Stars: 5157 | Last update: 13 Nov 2022


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).

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.

Installs: 215 | Stars: 20 | Last update: 20 May 2017
Installs: 209 | Stars: 20 | Last update: 20 May 2017


The missing IntelliSense hint for GitHub and GitLab
Expand All @@ -247,7 +247,7 @@ Installs: 5000 | Stars: 960 | Last update: 4 Feb 2022

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

Installs: 437190 | Stars: 22506 | Last update: 27 Jun 2023
Installs: 437327 | Stars: 22504 | Last update: 27 Jun 2023


Revert GitHub's UI back to its classic look (before the June 23, 2020 update that has a flat, rounded and more whitespaced design).
Expand All @@ -262,27 +262,27 @@ Installs: 1033 | Stars: 57 | Last update: 28 Nov 2022

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

Installs: 715 | Stars: 109 | Last update: 21 Jun 2023
Installs: 722 | Stars: 109 | Last update: 21 Jun 2023


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

Installs: 42 | Stars: 97 | Last update: 15 Oct 2020
Installs: 43 | Stars: 97 | Last update: 15 Oct 2020


Extension that simplifies the GitHub interface and adds useful features.

Installs: 77714 | Stars: 21444 | Last update: 8 Jul 2023
Installs: 77840 | Stars: 21452 | Last update: 8 Jul 2023


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

Installs: 612 | Stars: 73 | Last update: 25 Aug 2018
Installs: 603 | Stars: 73 | Last update: 25 Aug 2018


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.

Installs: 37 | Stars: n/a | Last update: 10 Aug 2020
Installs: 35 | Stars: n/a | Last update: 10 Aug 2020


The Sourcegraph browser extension gives GitHub IDE-like powers when you're viewing code, pull requests, and diffs:
Expand All @@ -293,7 +293,7 @@ The Sourcegraph browser extension gives GitHub IDE-like powers when you're viewi
4. Hover tooltips
5. File tree navigation

Installs: 101075 | Stars: 8579 | Last update: 15 Apr 2023
Installs: 101091 | Stars: 8590 | Last update: 15 Apr 2023


Make tab indented code more readable by forcing the tab size to 4 instead of 8.
Expand All @@ -303,7 +303,7 @@ Installs: 1000 | Stars: 282 | Last update: 25 Sep 2021

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

Installs: 189 | Stars: 31 | Last update: n/a
Installs: 187 | Stars: 31 | Last update: n/a


Generate a magic link for your PR and post it on shared Slack channel, to entice reviewers to pick up your PR faster!
Expand All @@ -318,12 +318,12 @@ Installs: 70000 | Stars: n/a | Last update: 13 Jul 2023

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

Installs: 20173 | Stars: n/a | Last update: 16 Jun 2023
Installs: 20177 | Stars: n/a | Last update: 16 Jun 2023


file tree for github, and more than that.

Installs: 10512 | Stars: n/a | Last update: 18 May 2023
Installs: 10517 | Stars: n/a | Last update: 18 May 2023


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.
Expand All @@ -333,14 +333,14 @@ Installs: 2000 | Stars: 130 | Last update: 24 Jul 2020

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

Installs: 62496 | Stars: 123 | Last update: 24 Feb 2023
Installs: 62544 | Stars: 123 | Last update: 24 Feb 2023


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.

Installs: 2078 | Stars: 699 | Last update: 29 May 2023
Installs: 2080 | Stars: 699 | Last update: 29 May 2023


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

Installs: 435 | Stars: 85 | Last update: 10 Jan 2023
Installs: 434 | Stars: 85 | Last update: 10 Jan 2023
2 changes: 2 additions & 0 deletions docs/awesome/awesome-chatgpt.md
Original file line number Diff line number Diff line change
Expand Up @@ -140,6 +140,7 @@
- [ChatGPT Auto Refresh](https://github.com/adamlui/chatgpt-auto-refresh) - Keeps ChatGPT sessions fresh to avoid network errors and Cloudflare checks.
- [DuckDuckGPT](https://github.com/kudoai/duckduckgpt) - Brings the magic of ChatGPT to search results.
- [ChatGPT Infinity](https://github.com/adamlui/chatgpt-infinity) - Makes ChatGPT automatically answer random questions to increase your knowledge.
- [ChatGPT Auto-Continue](https://github.com/adamlui/chatgpt-auto-continue) - Automatically clicks "Continue generating" when responses are cut off.

**Bookmarklets**

Expand Down Expand Up @@ -215,6 +216,7 @@
- [Scikit-LLM](https://github.com/iryna-kondr/scikit-llm) - Integrate ChatGPT capabilities into scikit-learn.
- [ChatGPT-MD](https://github.com/bramses/chatgpt-md) - ChatGPT integration with Obsidian note-taking software.
- [Chapyter](https://github.com/chapyter/chapyter) - Integrate ChatGPT capabilities into Jupyter Notebook.
- [I Don't Care About Commit Message](https://github.com/mefengl/vscode-i-dont-care-about-commit-message) - Auto-generate commit messages and push actions in VS Code.

## Packages

Expand Down
2 changes: 1 addition & 1 deletion docs/awesome/awesome-cryptography.md
Original file line number Diff line number Diff line change
Expand Up @@ -194,7 +194,6 @@ A curated list of cryptography resources and links.
### Go

- [crypto](https://golang.org/pkg/crypto/) - Official Website Resources.
- [cryptoballot](https://github.com/cryptoballot/cryptoballot) - Cryptographically secure online voting.
- [dkeyczar](https://github.com/dgryski/dkeyczar) - Port of Google's Keyczar cryptography library to Go.
- [gocrypto](https://github.com/kisom/gocrypto) - Example source code for the Practical Crypto with Go book.
- [goThemis](https://github.com/cossacklabs/themis/wiki/Go-Howto) - Go wrapper on Themis. High level crypto library for storing data (AES), secure messaging (ECC + ECDSA / RSA + PSS + PKCS#7) and session-oriented, forward secrecy data exchange (ECDH key agreement, ECC & AES encryption).
Expand Down Expand Up @@ -333,6 +332,7 @@ encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as
### Rust

- [BLAKE3](https://github.com/BLAKE3-team/BLAKE3) - is official Rust and C implementations of the BLAKE3 cryptographic hash function.
- [cryptoballot](https://github.com/cryptoballot/cryptoballot) - Cryptographically secure online voting.
- [dalek cryptography](https://github.com/dalek-cryptography/) - Fast yet safe mid-level API for ECC, Bulletproofs, and more.
- [mundane](https://github.com/google/mundane) - is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant.
- [ockam](https://github.com/ockam-network/ockam) - is a Rust library for end-to-end encryption and mutual authentication.
Expand Down
1 change: 1 addition & 0 deletions docs/awesome/awesome-developer-first.md
Original file line number Diff line number Diff line change
Expand Up @@ -182,6 +182,7 @@ For the latest additions [click here](https://github.com/agamm/awesome-developer
* [Imitate Email](https://imitate.email) - End-to-end email testing tool.
* [Lob](https://www.lob.com/) - Email and address verification.
* [Mailgun](https://www.mailgun.com/) - Send, track, and receive emails.
* [Resend](https://resend.com/) - Email API to build, test, and deliver transactional emails.
* [Sendgrid](https://sendgrid.com/) - Email API.

## Media
Expand Down
1 change: 1 addition & 0 deletions docs/awesome/awesome-digital-humanities.md
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@ This is a curated list of tools, resources, and services supporting the Digital

## Data Collection

- [Data Commons](https://datacommons.org/) - Data Commons aggregates data from a [wide range of sources](https://docs.datacommons.org/datasets/) into a unified database to make it more accessible and useful.
- [OpenArchive](https://open-archive.org/) - Making it easy to store, share, and amplify your mobile media while protecting your identity.
- [Open EU Data Portal](https://data.europa.eu/euodp/en/data/) - European Union open data.
- [Social Feed Manager](https://gwu-libraries.github.io/sfm-ui/) - Open source software that harvests social media data and web resources from Twitter, Tumblr, Flickr, and Sina Weibo.
Expand Down
2 changes: 1 addition & 1 deletion docs/awesome/awesome-elm.md
Original file line number Diff line number Diff line change
Expand Up @@ -136,7 +136,7 @@ Inspired by the [awesome](#more-awesome) list thing. Feel free to <a href="https
* [Elm Weekly](http://www.elmweekly.nl/) - A weekly newsletter about Elm
* [Elm Bits](https://elmbits.com/) - A free weekly newsletter about Elm featuring hand-picked news, articles, books, events, tools, and libraries.
* [Elm News](https://elm-news.com/) - All Elm news in one place
* [Elm Greenwood](https://elm-greenwood.com/) - Elm packages releases
* [Elm Greenwood](https://releases.elm.dmy.fr/) - Elm packages releases
* [Elm Reddit](https://www.reddit.com/r/elm/) - Elm news in Reddit

---
Expand Down
Loading

0 comments on commit 6f8d0b5

Please # to comment.