Skip to content

Commit a84b14f

Browse files
committed
Robot Updated at:5 Mar 2024 21:09:13 GMT
1 parent 6e782e0 commit a84b14f

15 files changed

+56
-53
lines changed

docs/awesome/awesome-agi-cocosci.md

+3
Original file line numberDiff line numberDiff line change
@@ -1700,6 +1700,9 @@ organized into intricate patterns that seem to be consistent across individuals.
17001700

17011701
* [A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges](https://dl.acm.org/doi/abs/10.1145/3597503.3608128) - ***ICSE'24***, 2024. [[All Versions](https://scholar.google.com/scholar?cluster=3696356619002071917&hl=en&as_sdt=0,5)]. A survey finding that developers are most motivated to use AI programming assistants because they help developers reduce key-strokes, finish programming tasks quickly, and recall syntax, but resonate less with using them to help brainstorm potential solutions.
17021702

1703+
* [Large Language Models for Software Engineering: A
1704+
Systematic Literature Review](https://arxiv.org/abs/2308.10620) - 2023. [[All Versions](https://scholar.google.com/scholar?cluster=10466731638053452642&as_sdt=0,5)]. A systematic literature review on LLM4SE, with a particular focus on understanding how LLMs can be exploited to optimize processes and outcomes.
1705+
17031706

17041707

17051708
### Knowledge Representation

docs/awesome/awesome-algorand.md

+14-25
Large diffs are not rendered by default.

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

+19-19
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,7 @@ Installs: 599 | Stars: 61 | Last update: n/a
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: 20 | Stars: 14 | Last update: 25 Apr 2022
43+
Installs: 21 | Stars: 14 | Last update: 25 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.
@@ -55,12 +55,12 @@ Installs: 8 | Stars: 458 | Last update: 1 Mar 2021
5555

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

58-
Installs: 661 | Stars: 1969 | Last update: 22 Apr 2021
58+
Installs: 658 | Stars: 1970 | Last update: 22 Apr 2021
5959

6060

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

63-
Installs: 527 | Stars: 168 | Last update: 18 Jan 2024
63+
Installs: 528 | Stars: 168 | Last update: 18 Jan 2024
6464

6565

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

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

73-
Installs: 218 | Stars: 13467 | Last update: 13 Oct 2023
73+
Installs: 217 | Stars: 13468 | Last update: 13 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.
@@ -80,7 +80,7 @@ Installs: 34 | Stars: 4 | Last update: n/a
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: 119 | Stars: 288 | Last update: 12 Jan 2017
83+
Installs: 120 | Stars: 288 | Last update: 12 Jan 2017
8484

8585

8686
Set custom tab size for code view on GitHub.com
@@ -95,7 +95,7 @@ Installs: 3 | Stars: 19 | Last update: 24 Jun 2020
9595

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

98-
Installs: 20000 | Stars: 1366 | Last update: n/a
98+
Installs: 20000 | Stars: 1367 | Last update: n/a
9999

100100

101101
Highlight selected word in GitHub source view like Sublime Text.
@@ -105,7 +105,7 @@ Installs: 1000 | Stars: 143 | Last update: n/a
105105

106106
Neat hovercards for GitHub.
107107

108-
Installs: 17763 | Stars: 1799 | Last update: n/a
108+
Installs: 17771 | Stars: 1799 | Last update: n/a
109109

110110

111111
Colorize issue and PR links to see their status (open, closed, merged).
@@ -145,7 +145,7 @@ Installs: 40 | Stars: 48 | Last update: 25 Sep 2023
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: 118 | Stars: 363 | Last update: 14 Nov 2023
148+
Installs: 119 | Stars: 363 | Last update: 14 Nov 2023
149149

150150

151151
View and create Linear tickets from any GitHub PR or issue.
@@ -160,7 +160,7 @@ Installs: 2000 | Stars: 290 | Last update: n/a
160160

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

163-
Installs: 3529 | Stars: 35 | Last update: 21 Aug 2023
163+
Installs: 3539 | 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.
@@ -190,7 +190,7 @@ Installs: 10000 | Stars: 3432 | Last update: n/a
190190

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

193-
Installs: 426 | Stars: 2596 | Last update: 1 Jan 2024
193+
Installs: 427 | Stars: 2601 | 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.
@@ -205,7 +205,7 @@ Installs: 346 | Stars: 574 | Last update: 4 Jul 2021
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: 771 | Stars: 428 | Last update: 20 Feb 2024
208+
Installs: 775 | Stars: 430 | Last update: 20 Feb 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.
@@ -225,7 +225,7 @@ Installs: 75 | Stars: 140 | Last update: 6 Apr 2023
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: 544 | Stars: 1773 | Last update: 12 Jul 2023
228+
Installs: 542 | Stars: 1773 | 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.
@@ -235,7 +235,7 @@ Installs: 2 | Stars: 136 | Last update: 16 Jan 2020
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: 12789 | Stars: 5229 | Last update: 13 Nov 2022
238+
Installs: 12791 | Stars: 5230 | 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).
@@ -252,7 +252,7 @@ Installs: 4000 | Stars: 960 | Last update: n/a
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: 37438 | Stars: 22643 | Last update: 4 Jan 2024
255+
Installs: 37445 | Stars: 22645 | 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).
@@ -277,7 +277,7 @@ Installs: 4 | Stars: 96 | Last update: 15 Oct 2020
277277

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

280-
Installs: 8531 | Stars: 22725 | Last update: 8 Feb 2024
280+
Installs: 8530 | Stars: 22735 | 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.
@@ -298,7 +298,7 @@ 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: 965 | Stars: 9524 | Last update: 14 Apr 2023
301+
Installs: 968 | Stars: 9526 | Last update: 14 Apr 2023
302302

303303

304304
Make tab indented code more readable by forcing the tab size to 4 instead of 8.
@@ -323,7 +323,7 @@ Installs: 70000 | Stars: n/a | Last update: n/a
323323

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

326-
Installs: 166 | Stars: n/a | Last update: n/a
326+
Installs: 165 | Stars: n/a | Last update: n/a
327327

328328

329329
file tree for github, and more than that.
@@ -338,12 +338,12 @@ Installs: 2000 | Stars: 131 | Last update: n/a
338338

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

341-
Installs: 2370 | Stars: 133 | Last update: 14 Feb 2024
341+
Installs: 2367 | Stars: 133 | Last update: 14 Feb 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: 87 | Stars: 738 | Last update: 20 Dec 2023
346+
Installs: 86 | Stars: 739 | Last update: 20 Dec 2023
347347

348348

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

docs/awesome/awesome-complexity.md

+1
Original file line numberDiff line numberDiff line change
@@ -82,6 +82,7 @@ A curated list of resources related to complex systems, the scientific field stu
8282
- [Repast](https://repast.github.io/) - Agent-based modeling and simulation platforms, models coded in C++ and Java.
8383
- [MASON](https://cs.gmu.edu/~eclab/projects/mason/) - Multiagent simulation library core in Java.
8484
- [HASH](https://hash.ai/) - Graph and agent simulation platform.
85+
- [Hybrid Automata Library](https://github.com/MathOnco/HAL) - Java library for hybrid modeling combining agent-based and partial-differential equation components.
8586

8687
### Proprietary
8788

docs/awesome/awesome-coq.md

+1
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,7 @@ Contributions welcome! Read the [contribution guidelines](https://github.com/coq
3838
- [Coq LSP](https://github.com/ejgallego/coq-lsp) - Language server and extension for the Visual Studio Code and VSCodium editors with custom document checking engine.
3939
- [Proof General](https://proofgeneral.github.io) - Generic interface for proof assistants based on the extensible, customizable text editor Emacs.
4040
- [Company-Coq](https://github.com/cpitclaudel/company-coq) - IDE extensions for Proof General's Coq mode.
41+
- [opam-switch-mode](https://github.com/ProofGeneral/opam-switch-mode) - IDE extension for Proof General to locally change or reset the opam switch from a menu or using a command.
4142
- [jsCoq](https://github.com/ejgallego/jscoq) - Port of Coq to JavaScript, which enables running Coq projects in a browser.
4243
- [Jupyter kernel for Coq](https://github.com/EugeneLoy/coq_jupyter) - Coq support for the Jupyter Notebook web environment.
4344
- [VsCoq](https://github.com/coq-community/vscoq) - Language server and extension for the Visual Studio Code and VSCodium editors.

docs/awesome/awesome-cpp.md

+1
Original file line numberDiff line numberDiff line change
@@ -269,6 +269,7 @@ A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny
269269
* [C++ B-tree](https://github.com/algorithm-ninja/cpp-btree) - A template library that implements ordered in-memory containers based on a B-tree data structure. [Apache2]
270270
* [dynamic_bitset](https://github.com/pinam45/dynamic_bitset) - A C++17 header-only dynamic bitset. [MIT]
271271
* [flat_hash_map](https://github.com/skarupke/flat_hash_map) - A very fast flat hashtable with Fibonacci hashing.
272+
* [frozen](https://github.com/serge-sans-paille/frozen) - a header-only, constexpr alternative to gperf for C++14 users. [Apache-2.0]
272273
* [Hashmaps](https://github.com/goossaert/hashmap) - Implementation of open addressing hash table algorithms in C++. [MIT]
273274
* [hat-trie](https://github.com/Tessil/hat-trie) - C++ implementation of a fast and memory efficient HAT-trie. [MIT]
274275
* [Hopscotch map](https://github.com/Tessil/hopscotch-map) - A fast header-only hash map which uses hopscotch hashing for collisions resolution. [MIT]

docs/awesome/awesome-deno.md

+1-2
Original file line numberDiff line numberDiff line change
@@ -441,5 +441,4 @@ This list is a collection of the best Deno modules and resources.
441441

442442
### Kurdish (Central)
443443

444-
- [deno.land](https://denoland-ckb.deno.dev/)
445-
- [A short introduction to Deno](https://devs.krd/about-deno).
444+
- [A short introduction to Deno](https://devs.krd/about-deno)

docs/awesome/awesome-godot.md

+1
Original file line numberDiff line numberDiff line change
@@ -179,6 +179,7 @@ See [Vivraan/godot-lang-support](https://github.com/Vivraan/godot-lang-support).
179179

180180
- [2D Day/Night Cycle](https://github.com/hiulit/Godot-3-2D-Day-Night-Cycle) - A ☀️ Day / 🌔 Night cycle for 2D (Godot 3.x).
181181
- [2D Destructible Objects](https://github.com/hiulit/Godot-3-2D-Destructible-Objects) - A script that takes a sprite, divides it into blocks and makes them explode💥 (Godot 3.x).
182+
- [3D Auto Collision Generator](https://github.com/ThGnommy/godot_3d_auto_collision_generator) - Generate collision for multiple 3D objects in one click (Godot 4.x).
182183
- [AgonesSDK](https://github.com/AndreMicheletti/godot-agones-sdk) - Plugin to add [Agones](https://github.com/googleforgames/agones) SDK functionality to Godot (Godot 3.x).
183184
- [Anima](https://github.com/ceceppa/anima) - Run sequential and parallel animations with less code compared to Tween (Godot 3.x).
184185
- [Aseprite Wizard](https://github.com/viniciusgerevini/godot-aseprite-wizard) - Plugin for importing animations from Aseprite as SpriteFrames (Godot 3.x).

docs/awesome/awesome-python-typing.md

+1
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@ Collection of awesome Python types, stubs, plugins, and tools to work with them.
1010
## Static type checkers
1111

1212
- [basedmypy](https://github.com/KotlinIsland/basedmypy) - Based static typing with baseline functionality.
13+
- [basedpyright](https://github.com/detachhead/basedpyright) - Pyright fork with improvements to VSCode support and various other fixes.
1314
- [mypy](https://github.com/python/mypy) - Optional static typing (PEP 484).
1415
- [pyanalyze](https://github.com/quora/pyanalyze) - Extensible static analyzer and type checker.
1516
- [pycharm](https://www.jetbrains.com/pycharm/) - IDE for Professional Developers.

docs/awesome/awesome-rust.md

+4-2
Original file line numberDiff line numberDiff line change
@@ -455,6 +455,7 @@ See also [A comparison of operating systems written in Rust](https://github.com/
455455

456456
### Web Servers
457457

458+
* [cloudflare/pingora](https://github.com/cloudflare/pingora) - A library for building fast, reliable and evolvable network services.
458459
* [emanuele-em/proxelar](https://github.com/emanuele-em/proxelar) — A MITM Proxy 🦀! Toolkit for HTTP/1, HTTP/2, and WebSockets with SSL/TLS Capabilities [![Rust](https://github.com/emanuele-em/proxelar/actions/workflows/rust.yml/badge.svg)](https://github.com/emanuele-em/proxelar/actions/workflows/rust.yml)
459460
* [mu-arch/skyfolder](https://github.com/mu-arch/skyfolder) - 🪂 Beautiful HTTP/Bittorrent server without the hassle. Secure - GUI - Pretty - Fast
460461
* [mufeedvh/binserve](https://github.com/mufeedvh/binserve) — A blazingly fast static web server with routing, templating, and security in a single binary you can set up with zero code [![build badge](https://github.com/mufeedvh/binserve/workflows/CICD/badge.svg?branch=master)](https://github.com/mufeedvh/binserve/actions)
@@ -513,7 +514,7 @@ See also [A comparison of operating systems written in Rust](https://github.com/
513514
* [cargo-graph](https://crates.io/crates/cargo-graph) — updated fork of `cargo-dot` with additional features. Unmaintained, see `cargo-deps`
514515
* [cargo-info](https://crates.io/crates/cargo-info) — queries crates.io for crates details from command line
515516
* [cargo-license](https://crates.io/crates/cargo-license) — A cargo subcommand to quickly view the licenses of all dependencies.
516-
* [cargo-limit](https://crates.io/crates/cargo-limit) — Cargo with less noise: warnings are skipped until errors are fixed, Neovim integration, etc. [![build badge](https://github.com/alopatindev/cargo-limit/actions/workflows/rust.yml/badge.svg)](https://github.com/alopatindev/cargo-limit/actions)
517+
* [cargo-limit](https://crates.io/crates/cargo-limit) — Cargo with less noise: warnings are skipped until errors are fixed, Neovim integration, etc. [![build badge](https://github.com/cargo-limit//cargo-limit/actions/workflows/rust.yml/badge.svg)](https://github.com/cargo-limit//cargo-limit/actions)
517518
* [cargo-make](https://crates.io/crates/cargo-make) — Task runner and build tool. [![build badge](https://github.com/sagiegurari/cargo-make/workflows/CI/badge.svg?branch=master)](https://github.com/sagiegurari/cargo-make/actions)
518519
* [cargo-modules](https://crates.io/crates/cargo-modules) — A cargo plugin for showing a tree-like overview of a crate's modules.
519520
* [cargo-multi](https://crates.io/crates/cargo-multi) — runs specified cargo command on multiple crates
@@ -1341,6 +1342,7 @@ See also [Are we game yet?](https://arewegameyet.rs)
13411342
* [Kiss3d](http://kiss3d.org) — draw simple geometric figures and play with them with one-liners
13421343
* [PistonDevelopers/glfw-rs](https://github.com/PistonDevelopers/glfw-rs)
13431344
* PDF
1345+
* [bastibense/libharu_ng](https://github.com/bastibense/libharu_ng) [[libharu_ng](https://crates.io/crates/libharu_ng)] - Easily generate PDFs from your Rust app.
13441346
* [fschutt/printpdf](https://github.com/fschutt/printpdf) — PDF writing library
13451347
* [J-F-Liu/lopdf](https://github.com/J-F-Liu/lopdf) — PDF document manipulation
13461348
* [kaj/rust-pdf](https://github.com/kaj/rust-pdf)
@@ -1647,7 +1649,7 @@ See also [Are we web yet?](https://www.arewewebyet.org) and [Rust web framework
16471649
* [cargo-web](https://crates.io/crates/cargo-web) — A Cargo subcommand for the client-side Web
16481650
* [leptos](https://github.com/leptos-rs/leptos) — Leptos is a full-stack, isomorphic web framework leveraging fine-grained reactivity to build declarative user interfaces.[![crate](https://img.shields.io/crates/v/create-rust-app.svg)](https://crates.io/crates/leptos)
16491651
* [sauron](https://github.com/ivanceras/sauron) - Client side web framework which closely adheres to The Elm Architecture.
1650-
* [seed](https://seed-rs.org/) — A framework for creating web apps
1652+
* [seed](https://github.com/seed-rs/seed) — A framework for creating web apps
16511653
* [stdweb](https://crates.io/crates/stdweb) — A standard library for the client-side Web
16521654
* [yew](https://crates.io/crates/yew) — A framework for making client web apps
16531655
* HTTP Client

docs/awesome/awesome-steam-deck.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -80,6 +80,7 @@ Choose what you find more suitable for you:
8080
- [SteamOS Btrfs](https://gitlab.com/popsulfr/steamos-btrfs) - Convert the /home partition from ext4 to btrfs.
8181
- [ProtonUp-Qt](https://davidotek.github.io/protonup-qt/) - Install and manage third-party compatibility tools for Steam Games.
8282
- [Clover](https://github.com/ryanrudolfoba/SteamDeck-Clover-dualboot) - Graphical boot manager for the Steam Deck.
83+
- [Steam Deck Printing Rootless](https://github.com/Tymose/Steam-Deck-Printing-ROOTLESS) - Utility that lets you print on the Steam Deck rootlessly and that survives updates as well.
8384

8485
## Emulation
8586
- [EmuDeck](https://github.com/dragoonDorise/EmuDeck) - Emulator configurator.
@@ -93,7 +94,6 @@ Choose what you find more suitable for you:
9394
- [bsnes](https://github.com/bsnes-emu/bsnes) - SNES Emulator.
9495
- [Dolphin](https://github.com/dolphin-emu/dolphin) - Gamecube/Wii Emulator.
9596
- [DeSmuME](https://github.com/TASEmulators/desmume) - Nintendo DS Emulator.
96-
- [Yuzu](https://github.com/yuzu-emu/yuzu) - Nintendo Switch Emulator.
9797
- [Ryujinx](https://github.com/Ryujinx/Ryujinx) - Nintendo Switch Emulator.
9898
- [xemu](https://github.com/xemu-project/xemu) - Xbox Emulator.
9999

0 commit comments

Comments
 (0)