You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: docs/awesome/awesome-ada.md
+1-1
Original file line number
Diff line number
Diff line change
@@ -183,7 +183,7 @@ A curated list of awesome resources related to the Ada and SPARK programming lan
183
183
184
184
### Build and Package
185
185
-[alire](https://github.com/alire-project/alire) - A catalog of ready-to-use Ada libraries plus a command-line tool (alr) to obtain, compile, and incorporate them into your own projects. It aims to fulfill a similar role to Rust's cargo or OCaml's opam.
186
-
-[alr-appimage](https://github.com/mgrojo/alr-appimage) - A tool for automatically creating an AppImage executable from an Alire crate.
186
+
-[alr2appimage](https://github.com/mgrojo/alr2appimage) - A tool for automatically creating an AppImage executable from an Alire crate.
187
187
-[aura](https://github.com/annexi-strayline/AURA) - An integrated build and source/package management tool with a more hands-on versioning approach. Alternative to alire and gprbuild. Optimized for CI/CD pipelines.
Copy file name to clipboardexpand all lines: docs/awesome/awesome-agi-cocosci.md
+1-1
Original file line number
Diff line number
Diff line change
@@ -1340,7 +1340,7 @@ organized into intricate patterns that seem to be consistent across individuals.
1340
1340
1341
1341
*[A universal system for digitization and automatic execution of the chemical synthesis literature](https://www.chem.gla.ac.uk/cronin/images/pubs/Mehr-ScienceOct2020.pdf) - ***Science***, 2020. [[All Versions](https://scholar.google.com/scholar?cluster=13909991218383718512&hl=en&as_sdt=0,5)].
1342
1342
1343
-
*[A mobile robotic chemist](https://strathprints.strath.ac.uk/74759/1/Burger_etal_Nature_2020_A_mobile_robotic.pdf) - ***Nature***, 2020. [[All Versions](https://scholar.google.com/scholar?cluster=13216902493789027324&hl=en&as_sdt=0,5)].
1343
+
*[A mobile robotic chemist](https://www.nature.com/articles/s41586-020-2442-2) - ***Nature***, 2020. [[All Versions](https://scholar.google.com/scholar?cluster=13216902493789027324&hl=en&as_sdt=0,5)]. [[Preprint](https://strathprints.strath.ac.uk/74759/1/Burger_etal_Nature_2020_A_mobile_robotic.pdf)]. This work uses a mobile robot to search for improved photocatalysts for hydrogen production from water. The robot operated autonomously over eight days, performing 688 experiments within a ten-variable experimental space, driven by a batched Bayesian search algorithm. This autonomous search identified photocatalyst mixtures that were six times more active than the initial formulations, selecting beneficial components and deselecting negative ones.
1344
1344
1345
1345
*[ChipNeMo: Domain-Adapted LLMs for Chip Design](https://arxiv.org/abs/2311.00176) - 2023. [[All Versions](https://scholar.google.com/scholar?cluster=5962372610489019326&hl=en&as_sdt=0,5)].
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.
47
47
48
-
Installs: 16 | Stars: 20 | Last update: 2 May 2023
48
+
Installs: 15 | Stars: 20 | Last update: 2 May 2023
49
49
50
50
51
51
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.
@@ -55,12 +55,12 @@ Installs: 8 | Stars: 458 | Last update: 1 Mar 2021
55
55
56
56
Displays size of each file, download link and an option of copying file contents directly to clipboard
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.
82
82
83
-
Installs: 124 | Stars: 288 | Last update: 12 Jan 2017
83
+
Installs: 126 | Stars: 288 | Last update: 12 Jan 2017
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.
147
147
148
-
Installs: 126 | Stars: 364 | Last update: 14 Nov 2023
148
+
Installs: 127 | Stars: 365 | Last update: 14 Nov 2023
149
149
150
150
151
151
View and create Linear tickets from any GitHub PR or issue.
152
152
153
-
Installs: 6 | Stars: 20 | Last update: 30 Jan 2024
153
+
Installs: 7 | Stars: 20 | Last update: 30 Jan 2024
154
154
155
155
156
156
Show [vscode-icons](https://github.com/vscode-icons/vscode-icons) in the repository browser.
It can make the sub-directories and files of github repository as zip and download it
162
162
163
-
Installs: 3589 | Stars: 35 | Last update: 21 Aug 2023
163
+
Installs: 3600 | Stars: 35 | Last update: 21 Aug 2023
164
164
165
165
166
166
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.
Browser extension to add git graph to GitHub website.
192
192
193
-
Installs: 441 | Stars: 2633 | Last update: 1 Jan 2024
193
+
Installs: 444 | Stars: 2634 | Last update: 1 Jan 2024
194
194
195
195
196
196
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.
Show Material icons for files/folders in repository file viewer. Display the same icons from vscode-material-icon-theme VSCode extension.
207
207
208
-
Installs: 788 | Stars: 431 | Last update: 20 Feb 2024
208
+
Installs: 793 | Stars: 432 | Last update: 20 Feb 2024
209
209
210
210
211
211
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.
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.
Filter your pull requests/issues in different categories giving you a big boost in productivity. Also suggests new trending repositories.
@@ -235,7 +235,7 @@ Installs: 2 | Stars: 136 | Last update: 16 Jan 2020
235
235
236
236
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.
237
237
238
-
Installs: 12812 | Stars: 5232 | Last update: 13 Nov 2022
238
+
Installs: 12817 | Stars: 5232 | Last update: 13 Nov 2022
239
239
240
240
241
241
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).
Useful for developers who frequently read source in GitHub and do not want to download or checkout too many repositories.
254
254
255
-
Installs: 37476 | Stars: 22650 | Last update: 4 Jan 2024
255
+
Installs: 37492 | Stars: 22651 | Last update: 4 Jan 2024
256
256
257
257
258
258
Revert GitHub's UI back to its classic look (before the June 23, 2020 update that has a flat, rounded and more whitespaced design).
259
259
260
-
Installs: 62 | Stars: 224 | Last update: 6 Aug 2021
260
+
Installs: 61 | Stars: 224 | Last update: 6 Aug 2021
261
261
262
262
263
263
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.
@@ -277,12 +277,12 @@ Installs: 4 | Stars: 96 | Last update: 15 Oct 2020
277
277
278
278
Extension that simplifies the GitHub interface and adds useful features.
279
279
280
-
Installs: 8569 | Stars: 22790 | Last update: 8 Feb 2024
280
+
Installs: 8586 | Stars: 22799 | Last update: 8 Feb 2024
281
281
282
282
283
283
Are they tabs? Are they spaces? How many? Never wonder again! Renders spaces as `·` and tabs as `→` in all the code on GitHub.
284
284
285
-
Installs: 23 | Stars: 74 | Last update: 25 Aug 2018
285
+
Installs: 24 | Stars: 74 | Last update: 25 Aug 2018
286
286
287
287
288
288
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.
@@ -298,7 +298,7 @@ The Sourcegraph browser extension gives GitHub IDE-like powers when you're viewi
Installs: 358 | Stars: n/a | Last update: 15 Dec 2023
331
+
Installs: 360 | Stars: n/a | Last update: 15 Dec 2023
332
332
333
333
334
334
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.
gitpod streamlines developer workflows by providing ready-to-code development environments in your browser - powered by vs code.
340
340
341
-
Installs: 2364 | Stars: 135 | Last update: 7 Mar 2024
341
+
Installs: 2369 | Stars: 135 | Last update: 7 Mar 2024
342
342
343
343
344
344
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.
Copy file name to clipboardexpand all lines: docs/awesome/awesome-digital-history.md
+1
Original file line number
Diff line number
Diff line change
@@ -143,6 +143,7 @@ Finding aids for textual and multimedia [primary sources](https://en.wikipedia.o
143
143
-[MEMOBASE](http://www.memobase.ch/) - Provides access to audiovisual documents from Swiss memory institutions.
144
144
-[Sammlung Schweizerischer Rechtsquellen online](https://www.ssrq-sds-fds.ch/projekte/ssrq-online/) - Retrodigitalisierte und digitale Editionseinheiten der Schweizerischen Rechtsquellen. Ediert wird rechtshistorisches Quellenmaterial vom Mittelalter bis in die Frühe Neuzeit (1798).
145
145
-[Schweizerisches Wirtschaftsarchiv](https://ub.unibas.ch/de/historische-bestaende/wirtschaftsarchive/) - This collection comprises over 500 business archives from the period 1750 to the present day, with a focus on the Basel region.
146
+
-[Sources Online](https://sources-online.org/index.html) - A platform for digital scholarly text editions, integrating TEI Publisher and IIIF in Switzerland.
146
147
-[swisscollections](https://swisscollections.ch/) - Meta search engine for historical and modern collections in Swiss libraries and archives.
147
148
-[timeSTAT Cubes](http://www.sfa-laboratory.ch/sr/cubestest/index.php) - The Federal Council reports to parliament on income and expenditure for the past years.
148
149
-[transcriptiones](http://transcriptiones.ch) - Create, share and access transcriptions of historical manuscripts.
0 commit comments