Skip to content

Commit

Permalink
Robot Updated at:15 Dec 2023 21:07:56 GMT
Browse files Browse the repository at this point in the history
  • Loading branch information
yiliuyan161 committed Dec 15, 2023
1 parent 13d1b1c commit 0f433ae
Show file tree
Hide file tree
Showing 9 changed files with 200 additions and 105 deletions.
2 changes: 1 addition & 1 deletion docs/awesome/awesome-agi-cocosci.md
Original file line number Diff line number Diff line change
Expand Up @@ -573,7 +573,7 @@ Contributions are greatly welcomed! Please refer to [Contribution Guidelines](ht

* [When Lingens meets Frege: communication without common ground](https://link.springer.com/article/10.1007/s11098-020-01490-3) - ***Philosophical Studies***, 2021. [[All Versions](https://scholar.google.com/scholar?cluster=10912415595149303257&hl=en&as_sdt=0,5)].

* [Language as shaped by the environment: linguistic construal in a collaborative spatial task](https://www.nature.com/articles/s41599-020-0404-9.pdf) - ***Nature Humanities and Social Sciences Communications***, 2020. [[All Versions](https://scholar.google.com/scholar?cluster=7842508027049437987&hl=en&as_sdt=0,5)].
* [Language as shaped by the environment: linguistic construal in a collaborative spatial task](https://www.nature.com/articles/s41599-020-0404-9.pdf) - ***Nature Humanities and Social Sciences Communications***, 2020. [[All Versions](https://scholar.google.com/scholar?cluster=7842508027049437987&hl=en&as_sdt=0,5)]. [[Code & Data](https://osf.io/sxtaq)].

* [Exploring Urban Form Through Openstreetmap Data: A Visual Introduction](https://arxiv.org/abs/2008.12142) - ***Urban Experience and Design: Contemporary Perspectives on Improving the Public Realm***, 2020. [[All Versions](https://scholar.google.com/scholar?cluster=7094530618542001733&hl=en&as_sdt=0,5)]. [[OSMnx Tool](https://github.com/gboeing/osmnx)]. [[OpenStreetMap Website](https://github.com/YuzheSHI/awesome-agi-cocosci/blob/master/ https://www.openstreetmap.org/)].

Expand Down
4 changes: 3 additions & 1 deletion docs/awesome/awesome-arcgis-developer.md
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,9 @@ ArcGIS products give you access to APIs, location services, and tools to develop
## ArcGIS location services

- [ArcGIS location services Postman Workspace](https://www.postman.com/esridevs/workspace/arcgis-location-services) - Postman collections to facilitate work with many of the location services.
- [Basemap layer service](https://developers.arcgis.com/documentation/mapping-apis-and-services/maps/services/basemap-layer-service/) - Access streets, satellite, and other basemap styles for maps and scenes.
- [Basemap styles service (v1)](https://developers.arcgis.com/documentation/mapping-apis-and-services/maps/services/basemap-layer-service/) - Access streets, satellite, and other basemap styles for maps and scenes.
- [Basemap styles service (v2)](https://developers.arcgis.com/rest/basemap-styles/) - Access multiples map styles, add places of interest, set labels languages, word views and more.
- [Places service](https://developers.arcgis.com/rest/places/) - Search for businesses and geographic locations around the world with detailed information about each place.
- [Elevation and hydrology services](https://developers.arcgis.com/rest/elevation/api-reference/get-started-with-elevation-services.htm) - Generate elevation profiles and viewsheds, but also can trace water flow and generate watersheds.
- [Geocoding service](https://developers.arcgis.com/documentation/mapping-apis-and-services/search/services/geocoding-service/) - Search for addresses, businesses, and places around the world.
- [GeoEnrichment service](https://developers.arcgis.com/documentation/mapping-apis-and-services/demographics/services/geoenrichment-service/) - Find facts and demographic information about a location or area.
Expand Down
52 changes: 26 additions & 26 deletions docs/awesome/awesome-browser-extensions-for-github.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ 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: 129 | Stars: 78 | Last update: 2 Jun 2023
Installs: 132 | Stars: 78 | Last update: 2 Jun 2023


Removes clutter from your pull request by automatically marking as viewed files that aren't worth reviewing.
Expand Down Expand Up @@ -55,12 +55,12 @@ Installs: 319 | 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: 40725 | Stars: 1928 | Last update: 25 Dec 2021
Installs: 40732 | Stars: 1928 | Last update: 25 Dec 2021


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

Installs: 10506 | Stars: 160 | Last update: 7 Nov 2023
Installs: 10516 | Stars: 160 | Last update: 7 Nov 2023


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: 7224 | Stars: 13432 | Last update: 14 Oct 2023
Installs: 7227 | Stars: 13433 | Last update: 14 Oct 2023


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 Down Expand Up @@ -105,12 +105,12 @@ Installs: 1000 | Stars: 143 | Last update: 8 Oct 2019

Neat hovercards for GitHub.

Installs: 27268 | Stars: 1789 | Last update: 12 May 2021
Installs: 27277 | Stars: 1789 | Last update: 12 May 2021


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

Installs: 962 | Stars: 294 | Last update: 9 Dec 2023
Installs: 963 | Stars: 294 | Last update: 9 Dec 2023


Displays npm package stats on GitHub
Expand Down Expand Up @@ -140,7 +140,7 @@ Installs: 615 | 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: 993 | Stars: 48 | Last update: 25 Sep 2023
Installs: 994 | Stars: 48 | Last update: 25 Sep 2023


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.
Expand All @@ -160,7 +160,7 @@ Installs: 2000 | Stars: 282 | Last update: 30 Sep 2021

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

Installs: 103410 | Stars: 34 | Last update: 21 Aug 2023
Installs: 103456 | Stars: 34 | Last update: 21 Aug 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.
Expand All @@ -180,17 +180,17 @@ Installs: 2000 | Stars: 345 | Last update: n/a

Hide dotfiles from the GitHub file browser.

Installs: 699 | Stars: 317 | Last update: 17 Sep 2021
Installs: 698 | Stars: 317 | Last update: 17 Sep 2021


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

Installs: 10000 | Stars: 3399 | Last update: 19 Nov 2023
Installs: 10000 | Stars: 3400 | Last update: 19 Nov 2023


Browser extension to add git graph to GitHub website.

Installs: 6354 | Stars: 2159 | Last update: 17 Nov 2023
Installs: 6363 | Stars: 2165 | Last update: 17 Nov 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.
Expand All @@ -200,17 +200,17 @@ Installs: 58 | Stars: 234 | Last update: 26 May 2018

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

Installs: 1333 | Stars: 564 | Last update: 6 Nov 2023
Installs: 1338 | Stars: 564 | Last update: 6 Nov 2023


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

Installs: 10662 | Stars: 393 | Last update: 21 Nov 2023
Installs: 10671 | Stars: 395 | Last update: 21 Nov 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.

Installs: 46 | Stars: 245 | Last update: 27 Nov 2019
Installs: 45 | Stars: 245 | Last update: 27 Nov 2019


Chrome extension which helps you not to miss important changes in your news thread related to your repo
Expand All @@ -220,12 +220,12 @@ Installs: 14 | Stars: 15 | Last update: 1 Oct 2018

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

Installs: 417 | Stars: 141 | Last update: 6 Apr 2023
Installs: 419 | Stars: 141 | 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: 10559 | Stars: 1758 | Last update: 12 Jul 2023
Installs: 10574 | Stars: 1758 | 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 @@ -235,7 +235,7 @@ Installs: 89 | Stars: 134 | Last update: 20 Nov 2023

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: 32705 | Stars: 5202 | Last update: 13 Nov 2022
Installs: 32718 | Stars: 5203 | 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).
Expand All @@ -252,7 +252,7 @@ Installs: 5000 | Stars: 959 | 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: 337405 | Stars: 22584 | Last update: 17 Nov 2023
Installs: 337521 | Stars: 22586 | Last update: 17 Nov 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,12 +262,12 @@ Installs: 377 | Stars: 224 | Last update: 30 Apr 2023

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.

Installs: 1048 | Stars: 68 | Last update: 23 Sep 2023
Installs: 1049 | Stars: 68 | Last update: 23 Sep 2023


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

Installs: 742 | Stars: 111 | Last update: 21 Jun 2023
Installs: 743 | Stars: 111 | Last update: 21 Jun 2023


Browser extension that shows which pull requests contain changes related to a file.
Expand All @@ -277,7 +277,7 @@ Installs: 38 | Stars: 96 | Last update: 15 Oct 2020

Extension that simplifies the GitHub interface and adds useful features.

Installs: 78698 | Stars: 22305 | Last update: 1 Dec 2023
Installs: 78814 | Stars: 22309 | Last update: 1 Dec 2023


Are they tabs? Are they spaces? How many? Never wonder again! Renders spaces as `·` and tabs as `` in all the code on GitHub.
Expand All @@ -298,7 +298,7 @@ The Sourcegraph browser extension gives GitHub IDE-like powers when you're viewi
4. Hover tooltips
5. File tree navigation

Installs: 101034 | Stars: 9235 | Last update: 12 Dec 2023
Installs: 101048 | Stars: 9241 | Last update: 12 Dec 2023


Make tab indented code more readable by forcing the tab size to 4 instead of 8.
Expand All @@ -318,17 +318,17 @@ Installs: 1000 | Stars: n/a | Last update: 27 Jun 2023

ZenHub is the first and only project management suite that works natively within GitHub; enhancing your workflow with features built specifically for startups, fast-moving engineering teams, and the open-source community. The product is a browser extension that injects advanced functionality including real-time drag-and-drop Issue Task Boards, peer feedback via a +1 button, and support for uploading any file type directly into the GitHub interface. ZenHub makes it easy to centralize all processes into GitHub, keeping your team lean and agile.

Installs: 70000 | Stars: n/a | Last update: 12 Dec 2023
Installs: 70000 | Stars: n/a | Last update: 14 Dec 2023


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

Installs: 20161 | Stars: n/a | Last update: 17 Oct 2023
Installs: 20164 | Stars: n/a | Last update: 17 Oct 2023


file tree for github, and more than that.

Installs: 10408 | Stars: n/a | Last update: 12 Aug 2023
Installs: 10411 | Stars: n/a | Last update: 15 Dec 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 @@ -338,7 +338,7 @@ Installs: 2000 | Stars: 131 | Last update: 24 Jul 2020

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

Installs: 52425 | Stars: 126 | Last update: 7 Dec 2023
Installs: 52464 | Stars: 126 | Last update: 7 Dec 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.
Expand Down
Loading

0 comments on commit 0f433ae

Please sign in to comment.