Robot Updated at:8 Nov 2023 21:08:46 GMT

docs/awesome/Awesome-Sitecore.md

@@ -80,13 +80,13 @@ Contributions welcome. Add links through pull requests or create an issue to sta
 
 ## Containers
 
+- [Repository of Sitecore Docker images](https://github.com/Sitecore/docker-images) - Build your own Docker images for the most recent versions of Sitecore.
 - [Windows Docker Machine](https://github.com/StefanScherer/windows-docker-machine) - Vagrant environment that creates a "Docker Machine" to work on your MacBook with Windows containers so that you can easily switch between Docker Desktop Linux containers and the Windows containers.
 - [Sitecore Containers Prerequisites](https://github.com/nickwesselman/sitecore-containers-prerequisites) - Checks the machine for Sitecore Container compatibility, enables Hyper-V, downloads and installs software including Sitecore 10.1
 - [Sitecore Docker Examples](https://github.com/Sitecore/docker-examples) - An official Docker Examples images for the most recent versions of Sitecore 10.*, including 'getting-started' XP0 container environment.
 - [Container Deployment](https://github.com/Sitecore/container-deployment) - Provides examples on how to deploy Sitecore containers using various methods.
 - [Lighthouse Demo](https://github.com/Sitecore/Sitecore.Demo.Platform) - The latest XP 10.0 demo using SXA 10.0. It can be only deployed inside Docker containers.
 - [Sitecore MVP](https://github.com/Sitecore/MVP-Site) - The source code of a real Sitecore MVP website built with Sitecore 10 and SXAworking in containers.
-- [Repository of Sitecore Docker images](https://github.com/Sitecore/docker-images) - Build your own Docker images for the most recent versions of Sitecore.
 - [Packer for Sitecore](https://github.com/asmagin/sitecore-packer) - Repository contains Packer templates for a local Sitecore hosting environment with IIS and and SQL Server on Windows, SOLR and Sitecore 9.0 building virtual machine images and Vagrant boxes for VirtualBox, provisioned with Chef.
 - [Docker SOLR with SSL](https://github.com/LaubPlusCo/docker-solr-ssl) - A simple setup that set up a Linux container on a host running solr with SSL using a generated certificate.
 - [Sitecore Docker Tools](https://github.com/sitecore/docker-tools) - Set of utilities to improve developer experience when running Sitecore in a Docker environment. This an image with development scripts and entrypoints that can be used during Sitecore container builds and a PowerShell module with functions used on the Sitecore container host to initialize the Sitecore Docker environment.

docs/awesome/awesome-agi-cocosci.md

@@ -438,8 +438,6 @@ Contributions are greatly welcomed! Please refer to [Contribution Guidelines](ht
 
 * [Similarity involving attributes and relations: Judgments of similarity and difference are not inverses](https://groups.psych.northwestern.edu/gentner/newpdfpapers/MedinGoldstoneGentner90.pdf) - ***Psychological Science***, 1990. [[All Versions](https://scholar.google.com/scholar?cluster=13205938250772079784&hl=en&as_sdt=0,5)]. Theory on similarity judgement by attributes and relations.
 
-* [On the Complexity of Bayesian Generalization](https://proceedings.mlr.press/v202/shi23i.html) - ***ICML'23***, 2023. [[All Versions](https://scholar.google.com/scholar?cluster=5817813824878811147&hl=en&as_sdt=0,5)]. [[Code](https://github.com/YuzheSHI/bayesian-generalization-complexity)]. [[Models](https://drive.google.com/file/d/1eCuFqBYN8kuiAmoVtXWedXW0r0TdY55W/view)]. A concept complexity account for rule- and similarity-based Bayesian concept generalization. 
-
 
 #### Human Concept Representation
 
@@ -488,6 +486,8 @@ Contributions are greatly welcomed! Please refer to [Contribution Guidelines](ht
 
 * [From Algorithmic to Subjective Randomness](https://proceedings.neurips.cc/paper/2003/hash/b06b5541a62ed438f956b662b4e1ec28-Abstract.html) - ***NeurIPS'03***, 2003. [[All Versions](https://scholar.google.com/scholar?oi=bibs&hl=en&cluster=14721764738308036578)].
 
+* [On the Complexity of Bayesian Generalization](https://proceedings.mlr.press/v202/shi23i.html) - ***ICML'23***, 2023. [[All Versions](https://scholar.google.com/scholar?cluster=5817813824878811147&hl=en&as_sdt=0,5)]. [[Code](https://github.com/YuzheSHI/bayesian-generalization-complexity)]. [[Models](https://drive.google.com/file/d/1eCuFqBYN8kuiAmoVtXWedXW0r0TdY55W/view)]. A concept complexity account for rule- and similarity-based Bayesian concept generalization. 
+
 
 #### Dimensionality Reduction
 

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

@@ -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: 134 | Stars: 78 | Last update: 2 Jun 2023
+Installs: 133 | Stars: 78 | Last update: 2 Jun 2023
 
 
 Removes clutter from your pull request by automatically marking as viewed files that aren't worth reviewing.
@@ -45,7 +45,7 @@ Installs: 227 | 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: 814 | Stars: 19 | Last update: 2 May 2023
+Installs: 813 | 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.
@@ -55,12 +55,12 @@ Installs: 346 | 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: 40740 | Stars: 1910 | Last update: 25 Dec 2021
+Installs: 40742 | Stars: 1910 | Last update: 25 Dec 2021
 
 
 Easily search GIPHY to add a GIF into any GitHub comment box.
 
-Installs: 10493 | Stars: 157 | Last update: 6 Nov 2023
+Installs: 10496 | Stars: 157 | Last update: 7 Nov 2023
 
 
 Find the best GIFs for your awesome pull requests.
@@ -70,7 +70,7 @@ Installs: 136 | Stars: 22 | Last update: n/a
 
 Quickly browse the history of a file from any git repository.
 
-Installs: 7222 | Stars: 13410 | Last update: 14 Oct 2023
+Installs: 7221 | Stars: 13411 | 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.
@@ -95,7 +95,7 @@ Installs: 207 | Stars: 19 | Last update: 28 Apr 2023
 
 A browser extension which gives different filetypes different icons on GitHub.
 
-Installs: 10000 | Stars: 1323 | Last update: 22 Aug 2023
+Installs: 10000 | Stars: 1324 | Last update: 22 Aug 2023
 
 
 Highlight selected word in GitHub source view like Sublime Text.
@@ -105,12 +105,12 @@ Installs: 1000 | Stars: 142 | Last update: 8 Oct 2019
 
 Neat hovercards for GitHub.
 
-Installs: 27058 | Stars: 1786 | Last update: 12 May 2021
+Installs: 27064 | Stars: 1786 | Last update: 12 May 2021
 
 
 Colorize issue and PR links to see their status (open, closed, merged).
 
-Installs: 948 | Stars: 293 | Last update: 4 Nov 2021
+Installs: 949 | Stars: 293 | Last update: 4 Nov 2021
 
 
 Displays npm package stats on GitHub
@@ -120,7 +120,7 @@ Installs: 650 | Stars: 56 | Last update: 31 May 2020
 
 Lists repositories that are similar to the one being viewed
 
-Installs: 378 | Stars: 42 | Last update: 10 Aug 2022
+Installs: 379 | Stars: 42 | Last update: 10 Aug 2022
 
 
 Revert closed GitHub issues from purple back to red
@@ -160,7 +160,7 @@ Installs: 2000 | Stars: 278 | Last update: 30 Sep 2021
 
 It can make the sub-directories and files of github repository as zip and download it
 
-Installs: 103309 | Stars: 34 | Last update: 21 Aug 2023
+Installs: 103312 | 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.
@@ -185,12 +185,12 @@ Installs: 692 | Stars: 315 | Last update: 17 Sep 2021
 
 Allows you to toggle between the normal GitHub contribution chart and an isometric pixel art version.
 
-Installs: 10000 | Stars: 3394 | Last update: 3 Nov 2023
+Installs: 10000 | Stars: 3395 | Last update: 3 Nov 2023
 
 
 Browser extension to add git graph to GitHub website.
 
-Installs: 5312 | Stars: 1934 | Last update: 29 Sep 2023
+Installs: 5314 | Stars: 1938 | Last update: 29 Sep 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.
@@ -200,12 +200,12 @@ Installs: 68 | Stars: 233 | Last update: 26 May 2018
 
 See forks with the most stars under the names of repositories.
 
-Installs: 1326 | Stars: 560 | Last update: 6 Nov 2023
+Installs: 1325 | Stars: 560 | 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: 10632 | Stars: 382 | Last update: 7 Oct 2023
+Installs: 10632 | Stars: 383 | Last update: 7 Oct 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.
@@ -225,7 +225,7 @@ Installs: 430 | 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: 10551 | Stars: 1747 | Last update: 12 Jul 2023
+Installs: 10553 | Stars: 1747 | 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.
@@ -235,7 +235,7 @@ Installs: 2 | Stars: 133 | 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: 32649 | Stars: 5192 | Last update: 13 Nov 2022
+Installs: 32653 | Stars: 5192 | 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).
@@ -252,7 +252,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: 337331 | Stars: 22550 | Last update: 23 Oct 2023
+Installs: 337322 | Stars: 22552 | Last update: 23 Oct 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).
@@ -277,12 +277,12 @@ Installs: 39 | Stars: 96 | Last update: 15 Oct 2020
 
 Extension that simplifies the GitHub interface and adds useful features.
 
-Installs: 78446 | Stars: 22079 | Last update: 3 Nov 2023
+Installs: 78474 | Stars: 22081 | Last update: 3 Nov 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: 625 | Stars: 75 | Last update: 25 Aug 2018
+Installs: 624 | Stars: 75 | 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.
@@ -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: 101038 | Stars: 9114 | Last update: 25 Oct 2023
+Installs: 101040 | Stars: 9116 | Last update: 25 Oct 2023
 
 
 Make tab indented code more readable by forcing the tab size to 4 instead of 8.
@@ -328,7 +328,7 @@ Installs: 20177 | Stars: n/a | Last update: 17 Oct 2023
 
 file tree for github, and more than that.
 
-Installs: 10414 | Stars: n/a | Last update: 12 Aug 2023
+Installs: 10416 | Stars: n/a | Last update: 12 Aug 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.
@@ -338,12 +338,12 @@ 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: 52397 | Stars: 124 | Last update: 18 Oct 2023
+Installs: 52408 | Stars: 125 | Last update: 18 Oct 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: 2085 | Stars: 727 | Last update: 29 May 2023
+Installs: 2086 | Stars: 727 | Last update: 29 May 2023
 
 
 Extends GitHub pages with math, diagrams, embedded YouTube videos etc.

docs/awesome/awesome-coq.md

@@ -40,8 +40,8 @@ Contributions welcome! Read the [contribution guidelines](https://github.com/coq
 - [Company-Coq](https://github.com/cpitclaudel/company-coq) - IDE extensions for Proof General's Coq mode.
 - [jsCoq](https://github.com/ejgallego/jscoq) - Port of Coq to JavaScript, which enables running Coq projects in a browser.
 - [Jupyter kernel for Coq](https://github.com/EugeneLoy/coq_jupyter) - Coq support for the Jupyter Notebook web environment.
-- [VsCoq1](https://github.com/coq-community/vscoq/tree/vscoq1) - Extension for the Visual Studio Code and VSCodium editors using Coq's legacy XML protocol.
-- [VsCoq2](https://github.com/coq-community/vscoq) - Experimental language server and extension for the Visual Studio Code and VSCodium editors.
+- [VsCoq](https://github.com/coq-community/vscoq) - Language server and extension for the Visual Studio Code and VSCodium editors.
+- [VsCoq Legacy](https://github.com/coq-community/vscoq/tree/vscoq1) - Backwards-compatible extension for the Visual Studio Code and VSCodium editors using Coq's legacy XML protocol.
 - [Waterproof editor](https://github.com/impermeable/waterproof) - Educational environment for writing mathematical proofs in interactive notebooks.
 
 ### Libraries
@@ -185,6 +185,7 @@ Contributions welcome! Read the [contribution guidelines](https://github.com/coq
 - [Tarjan and Kosaraju](https://github.com/math-comp/tarjan) - Verified implementations of algorithms for topological sorting and finding strongly connected components in finite graphs.
 - [Vélus](http://velus.inria.fr) - Verified compiler for a Lustre/Scade-like dataflow synchronous language.
 - [Verdi Raft](https://github.com/uwplse/verdi-raft) - Implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework.
+- [WasmCert-Coq](https://github.com/WasmCert/WasmCert-Coq/) - Formalization in Coq of the WebAssembly (aka Wasm) 1.0 specification.
 
 ## Resources
 
@@ -215,10 +216,9 @@ Contributions welcome! Read the [contribution guidelines](https://github.com/coq
 - [Coq Exchange: ideas and experiment reports about Coq](https://project.inria.fr/coqexchange/news/)
 - [Gagallium](http://gallium.inria.fr/blog)
 - [Gregory Malecha's blog](https://gmalecha.github.io)
-- [Guillaume Claret's Coq blog](http://coq-blog.clarus.me)
 - [Joachim Breitner's blog posts on Coq](http://www.joachim-breitner.de/blog/tag/Coq)
 - [Lysxia's blog](https://blog.poisson.chat)
-- [MIT PLV blog posts on Coq](https://plv.csail.mit.edu/blog/category/coq.html)
+- [MIT PLV blog posts on Coq](http://plv.csail.mit.edu/blog/category/coq.html)
 - [PLClub Blog](https://www.seas.upenn.edu/~plclub/blog/)
 - [Poleiro: a Coq blog by Arthur Azevedo de Amorim](http://poleiro.info)
 - [Ralf Jung's blog posts on Coq](https://www.ralfj.de/blog/categories/coq.html)

docs/awesome/awesome-cyber-security-university.md

@@ -74,7 +74,7 @@ Pull requests are welcome with the condition that the resource should be free! P
 ### Level 2 - Tooling
 
 * [Tmux](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://tryhackme.com/room/rptmux>) - Learn to use tmux, one of the most powerful multi-tasking tools on linux.
-* [Nmap](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://tryhackme.com/room/rpnmap>) - Get experience with Nmap, a powerful network scanning tool.
+* [Nmap,Curl and Netcat](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://echoctf.red/challenge/1>) - Get experience with Nmap, Curl and Netcat for network communications.
 * [Web Scanning](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://tryhackme.com/room/rpwebscanning>) - Learn the basics of automated web scanning.
 * [Sublist3r](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://tryhackme.com/room/rpsublist3r>) - Learn how to find subdomains with Sublist3r.
 * [Metasploit](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://tryhackme.com/room/rpmetasploit>) - An introduction to the main components of the Metasploit Framework.
@@ -198,7 +198,7 @@ Pull requests are welcome with the condition that the resource should be free! P
 <!--lint disable double-link-->
 <!--lint enable double-link-->
 
-### Level 3 - Beginner Forensics & Cryptography
+### Level 3 - Beginner Forensics, Threat Intel & Cryptography
 
 * [Martryohka doll](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://play.picoctf.org/practice/challenge/129?category=4&page=1&solved=0>) - Beginner file analysis challenge.
 * [The Glory of the Garden](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://play.picoctf.org/practice/challenge/44?category=4&page=1&solved=0>) - Beginner image analysis challenge.
@@ -210,7 +210,7 @@ Pull requests are welcome with the condition that the resource should be free! P
 * [Illumination](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://app.hackthebox.com/challenges/illumination>) - Medium level forensics challenge.
 * [Emo](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://app.hackthebox.com/challenges/emo>) - Medium level forensics challenge.
 * [Obsecure](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://app.hackthebox.com/challenges/obscure>) - Medium level forensics challenge.
-* [Bucket - Cloud Security Forensics](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://cyberdefenders.org/blueteam-ctf-challenges/84>) - Medium level cloud security challenge.
+* [Intel101 Challenge](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://cyberdefenders.org/blueteam-ctf-challenges/38>) - Medium level Threat Intel challenge.
 * [Introduction to Cryptohack](https://github.com/brootware/awesome-cyber-security-university/blob/master/<https://cryptohack.org/courses/intro/course_details/>) - Medium level cryptography challenge.
 
 <!--lint disable double-link-->

docs/awesome/awesome-db-tools.md

@@ -43,6 +43,7 @@ For updates on `awesome-db-tools` and thoughts/news about databases/tools/SQL fo
 - [Toad Edge](https://www.toadworld.com/products/toad-edge) - Simplified database development tool for MySQL and Postgres.
 - [TOra](https://github.com/tora-tool/tora) - TOra is an open source SQL IDE for Oracle, MySQL and PostgreSQL dbs.
 - [Valentina Studio](https://www.valentina-db.com/en/valentina-studio-overview) - Create, administer, query and explore Valentina DB, MySQL, MariaDB, PostgreSQL and SQLite databases for FREE.
+- [WebDB](https://webdb.app) - Free Efficient Database IDE. Featuring Server Discovery, ERD, Data Generator, AI, NoSQL Structure Manager, Database Versioning and many more.
 
 
 ## GUI