diff --git a/docs/awesome/awesome-agi-cocosci.md b/docs/awesome/awesome-agi-cocosci.md
index 604466c1b7..12e187f76d 100644
--- a/docs/awesome/awesome-agi-cocosci.md
+++ b/docs/awesome/awesome-agi-cocosci.md
@@ -1216,6 +1216,8 @@ Contributions are greatly welcomed! Please refer to [Contribution Guidelines](ht
* [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)].
+* [Single-atom alloy catalysts designed by first-principles calculations and artificial intelligence](https://www.nature.com/articles/s41467-021-22048-9) - ***Nature Communications***, 2021. [[All Versions](https://scholar.google.com/scholar?cluster=6593978922251447907&hl=en&as_sdt=0,5)].
+
* [Biological structure and function emerge from scaling unsupervised learning to 250 million protein sequences](https://www.pnas.org/doi/abs/10.1073/pnas.2016239118) - ***Proceedings of the National Academy of Sciences***, 2021. [[All Versions](https://scholar.google.com/scholar?cluster=15181490380139888639&hl=en&as_sdt=0,5)].
* [Comparability of automated human induced pluripotent stem cell culture: a pilot study](https://link.springer.com/article/10.1007/s00449-016-1659-9) - ***Bioprocess and Biosystems Engineering***, 2016. [[All Versions](https://scholar.google.com/scholar?cluster=14666375402220991095&hl=en&as_sdt=0,5)].
diff --git a/docs/awesome/awesome-angular.md b/docs/awesome/awesome-angular.md
index e18894bc30..9b135b9397 100644
--- a/docs/awesome/awesome-angular.md
+++ b/docs/awesome/awesome-angular.md
@@ -5,7 +5,7 @@
-## Awesome Angular [![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome) [![Build Status](https://travis-ci.org/PatrickJS/awesome-angular.svg?branch=gh-pages)](https://travis-ci.org/PatrickJS/awesome-angular)
+## Awesome Angular [![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome)
Awesome list of [Angular](https://angular.io/) seed repos, starters, boilerplates, examples, tutorials, components, modules, videos, and anything else in the Angular ecosystem. [View as github page.](https://PatrickJS.github.io/awesome-angular/).
@@ -609,6 +609,7 @@ The HttpClient offers a simplified client HTTP API for Angular applications that
* [ng-http-caching](https://github.com/nigrosimone/ng-http-caching) - Cache for HTTP requests in Angular application.
* [akita](https://github.com/datorama/akita/) - A Reactive State Management Tailored-Made for JS Applications
* [ng-simple-state](https://github.com/nigrosimone/ng-simple-state) - Simple state management in Angular with only Services and RxJS.
+* [exome](https://github.com/Marcisbee/exome) - Simple proxy based state manager for deeply nested states, works with Angular Signals and RxJS.
#### Tables
diff --git a/docs/awesome/awesome-board-games.md b/docs/awesome/awesome-board-games.md
index b71e8bb6de..0c6a9122d0 100644
--- a/docs/awesome/awesome-board-games.md
+++ b/docs/awesome/awesome-board-games.md
@@ -75,6 +75,18 @@
| ------: | -------: | -----: |
| 1 - 5 | 10 | 40-70m |
+### [Stationfall](https://boardgamegeek.com/boardgame/316624/stationfall)
+
+> A game of blackmail and betrayal, murder and mayhem, danger and destruction.
+> What is Stationfall? Well, imagine a dozen or so random humans, robots, and none-of-the-aboves, each with their own abilities, goals, and secret relationships, have been turned loose on a space station that is going to be incinerated upon its inevitable reentry into Earth's atmosphere. You are one of these characters, and the others are collaborators you have on hand ready to assist you in achieving your goals. But choose them wisely, as any one of them could secretly be another player waiting to betray you!
+> - Stationfall is a box full of creative solutions, but that box is going to morph, twist, and grow teeth over the course of play. Your best turns will exploit the unique tactical freedom of being a secret conspiracy, as well as deductions about your opponents’ identities and motives. Stationfall is messy, intricate, and full of dangerous variables.
+
+![Stationfall game image](https://cf.geekdo-images.com/eUiju5SqZbkNt8gnEofrTw__itemrep/img/lpTPPEk14XV1RzIhRYVIWNHD0I4=/fit-in/246x300/filters:strip_icc()/pic6035127.png)
+
+| Players | Min. Age | Time |
+| ------: | -------: | -----: |
+| 1 - 9 | 12 | 90-120m |
+
### [Clank!: Catacombs](https://boardgamegeek.com/boardgame/365717/clank-catacombs)
> The catacombs of the skeletal dragon Umbrok Vessna are mysterious and dangerous. Portals transport you all around the dungeon depths. Wayshrines offer vast riches to intrepid explorers. Prisoners are counting on you to free them. Ghosts, once disturbed, may haunt you to death. Despite all that, it's time to leave the board behind with Clank! Catacombs, a standalone deck-building adventure.
@@ -2547,7 +2559,7 @@ Superfight is a game where you argue with your friends over ridiculous fights. T
> This game is like Clue but for younger kids – and yet still fun for adults too. A fox stole a pot pie, and you have to figure out which fox it was before they escape into the foxhole. My kids regularly play this cooperative whodunnit game independently, and I love watching them work together as a team to solve the mystery. This is a fun little game to build your child’s logic and deductive reasoning skills!
-![Outfoxed](https://upload.wikimedia.org/wikipedia/commons/f/f6/Outfoxed.webp)
+![Outfoxed](https://cf.geekdo-images.com/v0FCI-wY8YlPn39XKd3F8w__itemrep/img/KGnNOM0FA8nwFXtKFsamxkx5v2E=/fit-in/246x300/filters:strip_icc()/pic2401324.jpg)
| Players | Min. Age | Time |
|-------: | -------: | ------:|
@@ -2811,6 +2823,83 @@ Superfight is a game where you argue with your friends over ridiculous fights. T
| ------: | -------: | -----: |
| 2 - 6 | 12+ |90-120m |
+### [The Gilded Realms](https://boardgamegeek.com/boardgame/397099/gilded-realms)
+
+> The Gilded Realms is a euro-style kingdom builder board game set in a medieval fantasy world, where players will be tasked with ruling over their young but ambitious kingdoms. In this hybrid simultaneous turn-based game of economic management and risk assessment, you and up to three other players will command a unique Faction and compete for the title of ultimate regent.Through careful planning of two builds a turn and management of your resources you must develop your five provinces and construct a thriving income, all the while, fending off competing kingdoms and the invading Sarrukar forces with your armies and fortifications. Players can also earn Gold and Gems from successful caravan trading and management of their kingdom’s stance during economic events. Or they can send armies into other player’s Hinterlands to raid their Caravans and take Endeavour cards for themselves! At the end of the 12th round of play, players earn prestigious titles based on their Victory Points, the highest earning the Serpens Champion and declared winner of The Gilded Realms!
+
+![The Gilded Realms](https://cf.geekdo-images.com/gWNSCaB9gE-cPNHhH33uQQ__itemrep/img/ulauk-nriJFsto6y8EJA76FH1z4=/fit-in/246x300/filters:strip_icc()/pic7666055.jpg)
+
+| Players | Min. Age | Time |
+| ------: | -------: | -----: |
+| 2 - 4 | 14+ |90-180m |
+
+### [Saboteur](https://boardgamegeek.com/boardgame/9220/saboteur)
+
+> With the help of Dwarf Cards, the players are assigned their role: either miner or saboteur. The roles are kept secret until the end of the round. As miners, they are hunting for gold. The miners are trying to build an uninterrupted path from the Start Card to a Goal Card, while the saboteurs are trying to prevent this. They shouldn't try to be too obvious about it, however, lest they be immediately discovered.
+>
+> The Start Card and the three Goal Cards are placed face-down onto the table, each seven cards away from the start and one card between each Goal Card. The gold is on one of the Goal Cards, but nobody knows which. Players have cards in hand. On a player's turn, they must do one of three things: place a Path Card into the mine, play an Action Card in front of a player, or pass. Action Cards can be placed in front of any player, including oneself.
+>
+> Action Cards let the players help or hinder one another, as well as obtain information about the Goal Cards. Once a player places a Path Card that reaches the gold, the round is over. The miners have won and would receive cards with gold pieces as their reward. The round is also over if the gold could not be reached. In that case, the saboteurs have won and would receive the gold pieces.
+>
+> After three rounds, the player with the most gold is the winner.
+
+![Saboteur](https://cf.geekdo-images.com/0vJwP6NGa7GHPZKC3gplUw__itemrep/img/aJcXGhYr8XxyKEK6EqbG0bePrOk=/fit-in/246x300/filters:strip_icc()/pic3989824.jpg)
+
+| Players | Min. Age | Time |
+| ------: | -------: | -----: |
+| 3 - 10 | 8+ | 30m |
+
+### [The Last Bottle of Rum](https://boardgamegeek.com/boardgame/275557/last-bottle-rum)
+
+> A pirate board game for 2 to 5 players, where you play as a pirate looking to trade its treasures for the very last bottle of rum of the archipelago... Prepare to explore uncharted waters, plunder your enemies and avoid the Kraken! To win the game, a player will have to score the most victory points by digging up hidden treasures.
+
+> On each turn, choose two cards from your hand. The cards you play determines the actions you may take. Cleverly combo actions and effects to overcome obstacles and keep pace with rival captains. Fire your cannons on your opponents to slow down their treasure-hunting. Push your luck at the risk of being cursed and chased by the deadly Kraken! Play one of the unique characters and use your game-changing abilities when it’s least expected!
+
+> The first Captain to collect 10 booty points gets the last bottle of the archipelago and wins the game.
+
+![The Last Bottle of Rum](https://cf.geekdo-images.com/W-28SI7dtFwOM6KYD9egrQ__itemrep/img/UIIbwvNMAHbyDJriFpltV-7nHd4=/fit-in/246x300/filters:strip_icc()/pic5715210.jpg)
+
+| Players | Min. Age | Time |
+| ------: | -------: | -----: |
+| 2 - 5 | 10+ | 45-60m |
+
+### [Zoo Vadis](https://boardgamegeek.com/boardgame/368061/zoo-vadis)
+
+> What if the animals were the ones who ran the zoo? Presumably, this wild government would be built upon the support of fellow creatures and fueled by the fame, attention, and prestige of wide-eyed visitors. Naturally, the most aspirational beasts would lobby for a position in the star exhibit, and the lead star would be elected Zoo Mascot.In order to join the star exhibit, each species must campaign its way up the hierarchy of enclosures with the majority support of animal voters. And the lead star will be the species that has earned the most laurels from both raving fans and jealous rivals along the way. How does one gain support and earn laurels? Through crafty politicking, clever negotiations, and ruthless schemes. There can only be one Zoo Mascot, after all. Where are you going? That is the ultimate question of Zoo Vadis.
+>
+> Zoo Vadis is an evolution of Reiner Knizia’s classic negotiation game, Quo Vadis? It retains the elegant, political gameplay that fans have come to love while introducing many innovations and improvements by: a) Enhancing the 3-player game and tailoring the board to all player counts through neutral, bribable figures—roaming peacocks, b) Widening the player count with a second game board for 6-7 players, c) Expanding the possibilities for strategic negotiation with asymmetric animal abilities, d) Increasing tactical opportunities with new special laurel tokens, e) Broadening the appeal of the theme and presentation with vibrant zoo art by Kwanchai Moriya and Brigette Indelicato, f) Enlivening the production with chunky animal figures and functional player screens.
+>
+> Like the original design, the game ends immediately when the Star Exhibit is full. Only the animals who have reached the Star Exhibit qualify for victory, and the winner is the player with the most laurels.
+
+![Zoo Vadis](https://cf.geekdo-images.com/Kl3NjtNKpuJNPjdBQtdsow__itemrep/img/mmVsnLtn3T4zkeNbjWpfrWZKS5c=/fit-in/246x300/filters:strip_icc()/pic6988937.jpg)
+
+| Players | Min. Age | Time |
+| ------: | -------: | -----: |
+| 3 - 7 | 10+ |20-40m |
+
+
+### [Twilight Inscription](https://boardgamegeek.com/boardgame/361545/twilight-inscription)
+> Roll your way through the Twilight Imperium universe.
+> The Lazax Empire has burned to ash, rejected by its subjects. The aftermath was tragedy and petty conflict in equal measure, a time of loss and exhaustion. In the ensuing Dark Years, the factions of the galaxy retreated and recovered their strength. Now, they look upon the stars and see an opportunity—a chance to reclaim what was lost. A chance to redefine galactic civilization. A chance to leave their mark upon the stars.
+> Twilight Inscription, an epic roll-and-write game for one to eight players, offers an experience unlike anything Fantasy Flight Games has done before. With a limited pool of resources at your disposal, you’ll need to carefully manage Navigation, Expansion, Industry, and Warfare as you amass victory points and earn your right to the throne on Mecatol Rex. Will your faction become the new rulers of the galaxy? Or will your fledgling empire fade into obscurity? Anything can happen in this strategic, infinitely-replayable game!
+
+![Twilight Inscription](https://cf.geekdo-images.com/g36va6ofPCzNZXF-9GEpCg__itemrep/img/V3Cny2dR0eXaJjFkqkOCOoKP9Tg=/fit-in/246x300/filters:strip_icc()/pic7132023.png)
+
+| Players | Min. Age | Time |
+| ------: | -------: | -----: |
+| 1 - 8 | 14+ |90-120m |
+
+### [Hadrian's Wall](https://boardgamegeek.com/boardgame/304783/hadrians-wall)
+> When visiting the North of Britannia in 122 AD, the Roman Emperor Hadrian Augustus witnessed the aftermath of war between his armies and the savage Picts. In a show of Roman might, he ordered a wall to be built that would separate the Pict tribes from the rest of England. Grand in its design, the wall stretched 80 Roman miles, from coast to coast. Hadrian's Wall stood in service to the Roman Empire for nearly 300 years before its eventual decline. Today, Hadrian's Wall is a UNESCO World Heritage Site and the remains of the forts, towers, and turrets can still be explored.
+>
+> In Hadrian's Wall, players take on the role of a Roman General placed in charge of the construction of a milecastle and bordering wall. Over six years (rounds), players will construct their fort and wall, man the defenses, and attract civilians by building services and providing entertainment — all while defending the honor of the Roman Empire from the warring Picts. The player who can accumulate the most renown, piety, valor and discipline, whilst avoiding disdain, will prove to the Emperor they are the model Roman citizen and be crowned Legatus Legionis!
+
+![Hadrian's Wall](https://cf.geekdo-images.com/4XzRDw3VrgNpNfZlzZl66w__itemrep/img/V1Db0T3MlAicjsL1C_PrOLfm_xY=/fit-in/246x300/filters:strip_icc()/pic5608818.png)
+
+| Players | Min. Age | Time |
+| ------: | -------: | -----: |
+| 1 - 6 | 12+ |30-60m |
+
## Contribute
Contributions are welcome and encouraged! Read the [contribution guidelines][contrib-guide] first.
diff --git a/docs/awesome/awesome-browser-extensions-for-github.md b/docs/awesome/awesome-browser-extensions-for-github.md
index f594f9a2c9..363d4e1a2a 100644
--- a/docs/awesome/awesome-browser-extensions-for-github.md
+++ b/docs/awesome/awesome-browser-extensions-for-github.md
@@ -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: 142 | Stars: 78 | Last update: 2 Jun 2023
+Installs: 138 | Stars: 78 | Last update: 2 Jun 2023
Removes clutter from your pull request by automatically marking as viewed files that aren't worth reviewing.
-Installs: 33 | Stars: 7 | Last update: 14 Feb 2022
+Installs: 32 | Stars: 7 | Last update: 14 Feb 2022
Next level code navigation for GitHub.
-Installs: 607 | Stars: 58 | Last update: 20 Jul 2022
+Installs: 601 | Stars: 58 | 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: 225 | Stars: 12 | Last update: 26 Apr 2022
+Installs: 228 | 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: 817 | Stars: 19 | Last update: 2 May 2023
+Installs: 814 | 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: 347 | Stars: 457 | Last update: 1 Mar 2021
+Installs: 346 | Stars: 457 | Last update: 1 Mar 2021
Displays size of each file, download link and an option of copying file contents directly to clipboard
-Installs: 40748 | Stars: 1904 | Last update: 25 Dec 2021
+Installs: 40738 | Stars: 1906 | Last update: 25 Dec 2021
Easily search GIPHY to add a GIF into any GitHub comment box.
-Installs: 10503 | Stars: 157 | Last update: 27 Jul 2023
+Installs: 10488 | Stars: 157 | Last update: 27 Jul 2023
Find the best GIFs for your awesome pull requests.
@@ -70,32 +70,32 @@ Installs: 136 | Stars: 22 | Last update: n/a
Quickly browse the history of a file from any git repository.
-Installs: 7229 | Stars: 13406 | Last update: 14 Oct 2023
+Installs: 7225 | Stars: 13407 | 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.
-Installs: 28 | Stars: 4 | Last update: 18 Apr 2021
+Installs: 30 | Stars: 4 | 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: 3120 | Stars: 286 | Last update: 14 Jul 2022
+Installs: 3118 | Stars: 286 | Last update: 14 Jul 2022
Set custom tab size for code view on GitHub.com
-Installs: 578 | Stars: 67 | Last update: 6 May 2019
+Installs: 574 | Stars: 67 | Last update: 6 May 2019
Easily navigate through the changes in a file that has been edited on GitHub.
-Installs: 210 | Stars: 19 | Last update: 28 Apr 2023
+Installs: 212 | Stars: 19 | Last update: 28 Apr 2023
A browser extension which gives different filetypes different icons on GitHub.
-Installs: 10000 | Stars: 1318 | Last update: 22 Aug 2023
+Installs: 10000 | Stars: 1319 | Last update: 22 Aug 2023
Highlight selected word in GitHub source view like Sublime Text.
@@ -105,22 +105,22 @@ Installs: 1000 | Stars: 142 | Last update: 8 Oct 2019
Neat hovercards for GitHub.
-Installs: 27012 | Stars: 1785 | Last update: 12 May 2021
+Installs: 27024 | Stars: 1785 | Last update: 12 May 2021
Colorize issue and PR links to see their status (open, closed, merged).
-Installs: 961 | Stars: 293 | Last update: 4 Nov 2021
+Installs: 966 | Stars: 293 | Last update: 4 Nov 2021
Displays npm package stats on GitHub
-Installs: 653 | Stars: 56 | Last update: 31 May 2020
+Installs: 649 | Stars: 56 | Last update: 31 May 2020
Lists repositories that are similar to the one being viewed
-Installs: 385 | Stars: 41 | Last update: 10 Aug 2022
+Installs: 384 | Stars: 41 | Last update: 10 Aug 2022
Revert closed GitHub issues from purple back to red
@@ -135,22 +135,22 @@ Installs: 20000 | Stars: 1172 | Last update: 26 Jun 2020
Chrome extension to see story points in GitHub projects.
-Installs: 602 | Stars: 60 | Last update: 17 Aug 2020
+Installs: 598 | 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: 968 | Stars: 48 | Last update: 25 Sep 2023
+Installs: 970 | 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.
-Installs: 2132 | Stars: 346 | Last update: 14 Jun 2023
+Installs: 2130 | Stars: 346 | Last update: 14 Jun 2023
View and create Linear tickets from any GitHub PR or issue.
-Installs: 52 | Stars: 20 | Last update: 12 Apr 2023
+Installs: 54 | Stars: 20 | Last update: 12 Apr 2023
Show [vscode-icons](https://github.com/vscode-icons/vscode-icons) in the repository browser.
@@ -160,17 +160,17 @@ Installs: 2000 | Stars: 281 | Last update: 30 Sep 2021
It can make the sub-directories and files of github repository as zip and download it
-Installs: 103389 | Stars: 34 | Last update: 21 Aug 2023
+Installs: 103335 | 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.
-Installs: 555 | Stars: n/a | Last update: 22 Aug 2022
+Installs: 559 | Stars: n/a | Last update: 22 Aug 2022
Extension to get back current and longest streak.
-Installs: 687 | Stars: 225 | Last update: 10 Jan 2023
+Installs: 683 | Stars: 225 | Last update: 10 Jan 2023
Replace browser new tab screen with GitHub trending projects.
@@ -180,7 +180,7 @@ Installs: 2000 | Stars: 342 | Last update: n/a
Hide dotfiles from the GitHub file browser.
-Installs: 707 | Stars: 314 | Last update: 17 Sep 2021
+Installs: 713 | Stars: 315 | Last update: 17 Sep 2021
Allows you to toggle between the normal GitHub contribution chart and an isometric pixel art version.
@@ -190,27 +190,27 @@ Installs: 10000 | Stars: 3397 | Last update: 17 Apr 2023
Browser extension to add git graph to GitHub website.
-Installs: 5318 | Stars: 1886 | Last update: 29 Sep 2023
+Installs: 5313 | Stars: 1897 | 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.
-Installs: 71 | Stars: 233 | Last update: 26 May 2018
+Installs: 67 | Stars: 233 | Last update: 26 May 2018
See forks with the most stars under the names of repositories.
-Installs: 1327 | Stars: 558 | Last update: 1 Sep 2021
+Installs: 1323 | Stars: 558 | 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: 10647 | Stars: 381 | Last update: 7 Oct 2023
+Installs: 10635 | Stars: 381 | 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.
-Installs: 47 | Stars: 246 | Last update: 27 Nov 2019
+Installs: 46 | Stars: 246 | Last update: 27 Nov 2019
Chrome extension which helps you not to miss important changes in your news thread related to your repo
@@ -220,29 +220,29 @@ Installs: 17 | 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: 445 | Stars: 141 | Last update: 6 Apr 2023
+Installs: 440 | 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: 10573 | Stars: 1749 | Last update: 12 Jul 2023
+Installs: 10554 | Stars: 1749 | 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.
-Installs: 3 | Stars: 134 | Last update: 16 Jan 2020
+Installs: 2 | Stars: 134 | 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: 32644 | Stars: 5189 | Last update: 13 Nov 2022
+Installs: 32632 | Stars: 5190 | 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: 235 | Stars: 21 | Last update: 20 May 2017
+Installs: 242 | Stars: 21 | Last update: 20 May 2017
The missing IntelliSense hint for GitHub and GitLab
@@ -252,22 +252,22 @@ Installs: 5000 | Stars: 961 | 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: 337462 | Stars: 22549 | Last update: 23 Oct 2023
+Installs: 337333 | Stars: 22545 | 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).
-Installs: 366 | Stars: 224 | Last update: 30 Apr 2023
+Installs: 370 | 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: 1042 | Stars: 62 | Last update: 23 Sep 2023
+Installs: 1041 | Stars: 63 | 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: 757 | Stars: 111 | Last update: 21 Jun 2023
+Installs: 755 | Stars: 111 | Last update: 21 Jun 2023
Browser extension that shows which pull requests contain changes related to a file.
@@ -277,12 +277,12 @@ Installs: 43 | Stars: 96 | Last update: 15 Oct 2020
Extension that simplifies the GitHub interface and adds useful features.
-Installs: 78501 | Stars: 22023 | Last update: 5 Oct 2023
+Installs: 78344 | Stars: 22043 | Last update: 5 Oct 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: 632 | Stars: 75 | Last update: 25 Aug 2018
+Installs: 629 | 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: 101069 | Stars: 9079 | Last update: 25 Oct 2023
+Installs: 101046 | Stars: 9084 | Last update: 25 Oct 2023
Make tab indented code more readable by forcing the tab size to 4 instead of 8.
@@ -308,7 +308,7 @@ Installs: 2000 | Stars: 280 | Last update: 25 Sep 2021
Helps you see easily which activities happened since you last visited GitHub.
-Installs: 202 | Stars: 31 | Last update: n/a
+Installs: 206 | 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!
@@ -323,12 +323,12 @@ Installs: 70000 | Stars: n/a | Last update: 24 Oct 2023
All your issues, PRs, repos and other work documents right in your new tab
-Installs: 20181 | Stars: n/a | Last update: 17 Oct 2023
+Installs: 20176 | Stars: n/a | Last update: 17 Oct 2023
file tree for github, and more than that.
-Installs: 10422 | Stars: n/a | Last update: 12 Aug 2023
+Installs: 10414 | 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,14 +338,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: 52464 | Stars: 125 | Last update: 18 Oct 2023
+Installs: 52416 | 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: 2084 | Stars: 726 | Last update: 29 May 2023
+Installs: 2083 | Stars: 727 | Last update: 29 May 2023
Extends GitHub pages with math, diagrams, embedded YouTube videos etc.
-Installs: 462 | Stars: 86 | Last update: 22 Aug 2023
+Installs: 466 | Stars: 86 | Last update: 22 Aug 2023
diff --git a/docs/awesome/awesome-cryptography.md b/docs/awesome/awesome-cryptography.md
index 67b6a4244e..946fb21388 100644
--- a/docs/awesome/awesome-cryptography.md
+++ b/docs/awesome/awesome-cryptography.md
@@ -140,7 +140,7 @@ A curated list of cryptography resources and links.
### C++
- [=nil; Crypto3](https://github.com/NilFoundation/crypto3) - Modern Cryptography Suite in C++17 (complete applied cryptography suite starting with block ciphers and ending with threshold cryptography, zk proof systems, etc).
-- [Botan](https://botan.randombit.net/) - Cryptography library written in `C++11`.
+- [Botan](https://botan.randombit.net/) - Cryptography library written in `C++20`.
- [cryptopp](https://github.com/weidai11/cryptopp) - Crypto++ Library is a free C++ class library of cryptographic schemes.
- [HElib](https://github.com/shaih/HElib) - Software library that implements homomorphic encryption (HE).
- [Nettle](http://www.lysator.liu.se/~nisse/nettle/) - Low-level cryptographic library.
@@ -333,6 +333,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.
+- [botan-rs](https://github.com/randombit/botan-rs) - Botan bindings for Rust.
- [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.
diff --git a/docs/awesome/awesome-datascience.md b/docs/awesome/awesome-datascience.md
index abf1e2cc54..292c5fab63 100644
--- a/docs/awesome/awesome-datascience.md
+++ b/docs/awesome/awesome-datascience.md
@@ -247,16 +247,18 @@ These are some Machine Learning and Data Mining algorithms and models help you t
#### Data Mining Algorithms
-- C4.5
-- k-Means
-- [SVM](https://en.wikipedia.org/wiki/Support_vector_machine)
-- Apriori
-- EM
-- PageRank
-- AdaBoost
-- KNN
-- Naive Bayes
-- CART
+- [C4.5](https://en.wikipedia.org/wiki/C4.5_algorithm)
+- [k-Means](https://en.wikipedia.org/wiki/K-means_clustering)
+- [SVM (Support Vector Machine)](https://en.wikipedia.org/wiki/Support_vector_machine)
+- [Apriori](https://en.wikipedia.org/wiki/Apriori_algorithm)
+- [EM (Expectation-Maximization)](https://en.wikipedia.org/wiki/Expectation%E2%80%93maximization_algorithm)
+- [PageRank](https://en.wikipedia.org/wiki/PageRank)
+- [AdaBoost](https://en.wikipedia.org/wiki/AdaBoost)
+- [KNN (K-Nearest Neighbors)](https://en.wikipedia.org/wiki/K-nearest_neighbors_algorithm)
+- [Naive Bayes](https://en.wikipedia.org/wiki/Naive_Bayes_classifier)
+- [CART (Classification and Regression Trees)](https://en.wikipedia.org/wiki/Decision_tree_learning)
+
+
#### Deep Learning architectures
@@ -321,6 +323,9 @@ These are some Machine Learning and Data Mining algorithms and models help you t
* [pyro](https://github.com/pyro-ppl/pyro)
* [Catalyst](https://github.com/catalyst-team/catalyst)
* [pytorch_tabular](https://github.com/manujosephv/pytorch_tabular)
+* [Yolov3](https://github.com/ultralytics/yolov3)
+* [Yolov5](https://github.com/ultralytics/yolov5)
+* [Yolov8](https://github.com/ultralytics/ultralytics)
#### TensorFlow Ecosystem
* [TensorFlow](https://github.com/tensorflow/tensorflow)
diff --git a/docs/awesome/awesome-ruby.md b/docs/awesome/awesome-ruby.md
index 254b0198cc..f0403caf03 100644
--- a/docs/awesome/awesome-ruby.md
+++ b/docs/awesome/awesome-ruby.md
@@ -688,6 +688,7 @@ Where to discover new Ruby libraries, projects and trends.
## IRB
* [Clipboard](https://github.com/janlelis/clipboard) - Access to the system clipboard on Linux, MacOS and Windows.
+* [KatakataIrb](https://github.com/tompng/katakata_irb) - IRB with Kata(型 Type) completion.
* [irbtools](https://github.com/janlelis/irbtools) - Improvements for Ruby's IRB.
* [Looksee](https://github.com/oggy/looksee) - A tool for illustrating the ancestry and method lookup path of objects. Handy for exploring unfamiliar codebases.
* [Pry](https://github.com/pry/pry) - A powerful alternative to the standard IRB shell for Ruby.
@@ -759,6 +760,7 @@ Where to discover new Ruby libraries, projects and trends.
* [pocketsphinx-ruby](https://github.com/watsonbox/pocketsphinx-ruby) - Ruby speech recognition with Pocketsphinx.
* [Pragmatic Segmenter](https://github.com/diasks2/pragmatic_segmenter) - Pragmatic Segmenter is a rule-based sentence boundary detection gem that works out-of-the-box across many languages.
* [Ruby Natural Language Processing Resources](https://github.com/diasks2/ruby-nlp) - Collection of links to Ruby Natural Language Processing (NLP) libraries, tools and software.
+* [ruby-spellchecker](https://github.com/omohokcoj/ruby-spellchecker) - English spelling and grammar checker that can be used for autocorrection.
* [Sentimental](https://github.com/7compass/sentimental) - Simple sentiment analysis with Ruby.
* [Text](https://github.com/threedaymonk/text) - A collection of text algorithms including Levenshtein distance, Metaphone, Soundex 2, Porter stemming & White similarity.
* [Treat](https://github.com/louismullie/treat) - Treat is a toolkit for natural language processing and computational linguistics in Ruby.
diff --git a/docs/awesome/awesome-rust.md b/docs/awesome/awesome-rust.md
index e22450378b..513f4cf28b 100644
--- a/docs/awesome/awesome-rust.md
+++ b/docs/awesome/awesome-rust.md
@@ -51,6 +51,7 @@ See also [Rust — Production](https://www.rust-lang.org/production) organizatio
* [wasmer](https://github.com/wasmerio/wasmer) — A safe and fast WebAssembly runtime supporting WASI and Emscripten [![Build Status](https://github.com/wasmerio/wasmer/workflows/build/badge.svg?style=flat-square)](https://github.com/wasmerio/wasmer/actions)
* [Weld](https://github.com/serayuzgur/weld) — Full fake REST API generator
* [wezterm](https://github.com/wez/wezterm) — A GPU-accelerated cross-platform terminal emulator and multiplexer
+* [WinterJS](https://github.com/wasmerio/winterjs) — A secure JavaScript runtime built with SpiderMonkey, Rust and Axum
* [zellij](https://github.com/zellij-org/zellij) — A terminal multiplexer (workspace) with batteries included
### Audio and Music
diff --git a/docs/awesome/awesome-tailwindcss.md b/docs/awesome/awesome-tailwindcss.md
index 4fe64cd137..7b0615abb4 100644
--- a/docs/awesome/awesome-tailwindcss.md
+++ b/docs/awesome/awesome-tailwindcss.md
@@ -109,6 +109,7 @@
- 🧬 [Pseudo selectors](https://github.com/Microwawe/tailwindcss-pseudo-selectors) - Adds variants for the pseudo-classes and pseudo-elements that Tailwind CSS doesn't have by default.
- 🧬 [Container Queries](https://github.com/dgknca/tailwindcss-container-query) - Adds CSS Container Query variants.
- 🧬 [FormKit](https://github.com/formkit/formkit/tree/master/packages/tailwindcss) - Adds variants for input and form states for FormKit.
+- 🧬 [Htmx](https://github.com/aniftyco/tailwind-htmx) - Adds variants for styling on [htmx](https://htmx.org/reference/#classes) events.
- 🧩 [Debug Screens](https://github.com/jorenvanhee/tailwindcss-debug-screens) - Adds a component that shows the currently active screen (responsive breakpoint).
- 🧩 [Heropatterns](https://github.com/AndreaMinato/tailwind-heropatterns) - Adds [Hero Patterns](https://www.heropatterns.com) components.
- 🧩 [Responsive Embed](https://github.com/drdogbot7/tailwindcss-responsive-embed) - Adds a `responsive-embed` component.
diff --git a/docs/awesome/awesome-talks.md b/docs/awesome/awesome-talks.md
index 506f8c5546..9c4e9c76bc 100644
--- a/docs/awesome/awesome-talks.md
+++ b/docs/awesome/awesome-talks.md
@@ -166,6 +166,7 @@ There are a lot of screencasts, recordings of user group gatherings and conferen
#### Databases
* [Deconstructing the Database](https://www.youtube.com/watch?v=Cym4TZwTCNU) by **Rich Hickey** [1:06:23]
+* [Things Every Developer Absolutely, Positively Needs To Know About Database Indexing](https://www.youtube.com/watch?v=HubezKbFL7E) by **Kai Sassnowski** [41:49]
#### Security
diff --git a/docs/awesome/free-programming-books.md b/docs/awesome/free-programming-books.md
index 8b1527ca88..7d9884e556 100644
--- a/docs/awesome/free-programming-books.md
+++ b/docs/awesome/free-programming-books.md
@@ -174,7 +174,6 @@ This project lists books and other resources grouped by genres:
+ [English](https://github.com/EbookFoundation/free-programming-books/blob/master/more/free-programming-interactive-tutorials-en.md)
+ [German](https://github.com/EbookFoundation/free-programming-books/blob/master/more/free-programming-interactive-tutorials-de.md)
+ [Japanese / 日本語](https://github.com/EbookFoundation/free-programming-books/blob/master/more/free-programming-interactive-tutorials-ja.md)
-+ [Portuguese (Brazil)](https://github.com/EbookFoundation/free-programming-books/blob/master/more/free-programming-interactive-tutorials-pt_BR.md)
+ [Russian / Русский язык](https://github.com/EbookFoundation/free-programming-books/blob/master/more/free-programming-interactive-tutorials-ru.md)
@@ -188,6 +187,7 @@ This project lists books and other resources grouped by genres:
Free Podcasts and Screencasts:
+ [Arabic / al Arabiya / العربية](https://github.com/EbookFoundation/free-programming-books/blob/master/casts/free-podcasts-screencasts-ar.md)
++ [Burmese / မြန်မာဘာသာ](https://github.com/EbookFoundation/free-programming-books/blob/master/casts/free-podcasts-screencasts-my.md)
+ [Chinese / 中文](https://github.com/EbookFoundation/free-programming-books/blob/master/casts/free-podcasts-screencasts-zh.md)
+ [Czech / čeština / český jazyk](https://github.com/EbookFoundation/free-programming-books/blob/master/casts/free-podcasts-screencasts-cs.md)
+ [Dutch / Nederlands](https://github.com/EbookFoundation/free-programming-books/blob/master/casts/free-podcasts-screencasts-nl.md)
diff --git a/docs/awesome/static-analysis.md b/docs/awesome/static-analysis.md
index 5468917c36..80f43f99c0 100644
--- a/docs/awesome/static-analysis.md
+++ b/docs/awesome/static-analysis.md
@@ -80,7 +80,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
Assembly
-- [STOKE](https://github.com/StanfordPL/stoke) :warning: — A programming-language agnostic stochastic optimizer for the x86_64 instruction set. It uses random search to explore the extremely high-dimensional space of all possible program transformations.
+- [STOKE](https://github.com/StanfordPL/stoke) — A programming-language agnostic stochastic optimizer for the x86_64 instruction set. It uses random search to explore the extremely high-dimensional space of all possible program transformations.
@@ -114,7 +114,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
- [cqmetrics](https://github.com/dspinellis/cqmetrics) — Quality metrics for C code.
-- [CScout](https://www.spinellis.gr/cscout) :warning: — Complexity and quality metrics for C and C preprocessor code.
+- [CScout](https://www.spinellis.gr/cscout) — Complexity and quality metrics for C and C preprocessor code.
- [ESBMC](http://esbmc.org) — ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.
@@ -138,7 +138,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
- [LDRA](https://ldra.com) :copyright: — A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.
-- [MATE](https://galoisinc.github.io/MATE/) :warning: — A suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code. MATE unifies application-specific and low-level vulnerability analysis using code property graphs (CPGs), enabling the discovery of highly application-specific vulnerabilities that depend on both implementation details and the high-level semantics of target C/C++ programs.
+- [MATE](https://galoisinc.github.io/MATE/) — A suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code. MATE unifies application-specific and low-level vulnerability analysis using code property graphs (CPGs), enabling the discovery of highly application-specific vulnerabilities that depend on both implementation details and the high-level semantics of target C/C++ programs.
- [PC-lint](https://pclintplus.com/) :copyright: — Static analysis for C/C++. Runs natively under Windows/Linux/MacOS. Analyzes code for virtually any platform, supporting C11/C18 and C++17.
@@ -169,7 +169,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
- [code-cracker](https://code-cracker.github.io) — An analyzer library for C# and VB that uses Roslyn to produce refactorings, code analysis, and other niceties.
-- [CSharpEssentials](https://github.com/DustinCampbell/CSharpEssentials) :warning: — C# Essentials is a collection of Roslyn diagnostic analyzers, code fixes and refactorings that make it easy to work with C# 6 language features.
+- [CSharpEssentials](https://github.com/DustinCampbell/CSharpEssentials) — C# Essentials is a collection of Roslyn diagnostic analyzers, code fixes and refactorings that make it easy to work with C# 6 language features.
- [Designite](http://www.designite-tools.com) :copyright: — Designite supports detection of various architecture, design, and implementation smells, computation of various code quality metrics, and trend analysis.
@@ -214,7 +214,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
- [cqmetrics](https://github.com/dspinellis/cqmetrics) — Quality metrics for C code.
-- [CScout](https://www.spinellis.gr/cscout) :warning: — Complexity and quality metrics for C and C preprocessor code.
+- [CScout](https://www.spinellis.gr/cscout) — Complexity and quality metrics for C and C preprocessor code.
- [ESBMC](http://esbmc.org) — ESBMC is an open source, permissively licensed, context-bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs.
@@ -234,7 +234,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
- [LDRA](https://ldra.com) :copyright: — A tool suite including static analysis (TBVISION) to various standards including MISRA C & C++, JSF++ AV, CWE, CERT C, CERT C++ & Custom Rules.
-- [MATE](https://galoisinc.github.io/MATE/) :warning: — A suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code. MATE unifies application-specific and low-level vulnerability analysis using code property graphs (CPGs), enabling the discovery of highly application-specific vulnerabilities that depend on both implementation details and the high-level semantics of target C/C++ programs.
+- [MATE](https://galoisinc.github.io/MATE/) — A suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code. MATE unifies application-specific and low-level vulnerability analysis using code property graphs (CPGs), enabling the discovery of highly application-specific vulnerabilities that depend on both implementation details and the high-level semantics of target C/C++ programs.
- [PC-lint](https://pclintplus.com/) :copyright: — Static analysis for C/C++. Runs natively under Windows/Linux/MacOS. Analyzes code for virtually any platform, supporting C11/C18 and C++17.
@@ -266,7 +266,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
CoffeeScript
-- [coffeelint](https://coffeelint.github.io/) :warning: — A style checker that helps keep CoffeeScript code clean and consistent.
+- [coffeelint](https://coffeelint.github.io/) — A style checker that helps keep CoffeeScript code clean and consistent.
@@ -331,7 +331,7 @@ Also check out the sister project, [awesome-dynamic-analysis](https://github.com
Elm
-- [elm-analyse](https://stil4m.github.io/elm-analyse) :warning: — A tool that allows you to analyse your Elm code, identify deficiencies and apply best practices.
+- [elm-analyse](https://stil4m.github.io/elm-analyse) — A tool that allows you to analyse your Elm code, identify deficiencies and apply best practices.
- [elm-review](https://package.elm-lang.org/packages/jfmengels/elm-review/latest) — Analyzes whole Elm projects, with a focus on shareable and custom rules written in Elm that add guarantees the Elm compiler doesn't give you.
@@ -345,7 +345,7 @@ Dialyzer starts its analysis from either debug-compiled BEAM bytecode or from E
- [elvis](https://github.com/inaka/elvis) — Erlang Style Reviewer.
-- [Primitive Erlang Security Tool (PEST)](https://github.com/okeuday/pest) :warning: — A tool to do a basic scan of Erlang source code and report any function calls that may cause Erlang source code to be insecure.
+- [Primitive Erlang Security Tool (PEST)](https://github.com/okeuday/pest) — A tool to do a basic scan of Erlang source code and report any function calls that may cause Erlang source code to be insecure.
@@ -379,7 +379,7 @@ Fprettify is a tool that provides consistent whitespace, indentation, and delimi
- [dogsled](https://github.com/alexkohler/dogsled) — Finds assignments/declarations with too many blank identifiers.
-- [dupl](https://github.com/mibk/dupl) :warning: — Reports potentially duplicated code.
+- [dupl](https://github.com/mibk/dupl) — Reports potentially duplicated code.
- [errcheck](https://github.com/kisielk/errcheck) — Check that error return values are used.
@@ -436,9 +436,9 @@ By default, govulncheck makes requests to the Go vulnerability database at https
- [interfacer](https://github.com/mvdan/interfacer) :warning: — Suggest narrower interfaces that can be used.
-- [lll](https://github.com/walle/lll) :warning: — Report long lines.
+- [lll](https://github.com/walle/lll) — Report long lines.
-- [maligned](https://github.com/mdempsky/maligned) :warning: — Detect structs that would take less memory if their fields were sorted.
+- [maligned](https://github.com/mdempsky/maligned) — Detect structs that would take less memory if their fields were sorted.
- [misspell](https://github.com/client9/misspell) — Finds commonly misspelled English words.
@@ -452,7 +452,7 @@ By default, govulncheck makes requests to the Go vulnerability database at https
- [revive](https://revive.run) — Fast, configurable, extensible, flexible, and beautiful linter for Go. Drop-in replacement of golint.
-- [safesql](https://github.com/stripe/safesql) :warning: — Static analysis tool for Golang that protects against SQL injections.
+- [safesql](https://github.com/stripe/safesql) — Static analysis tool for Golang that protects against SQL injections.
- [shisho](https://docs.shisho.dev/) — A lightweight static code analyzer designed for developers and security teams. It allows you to analyze and transform source code with an intuitive DSL similar to sed, but for code.
@@ -516,6 +516,8 @@ By default, govulncheck makes requests to the Go vulnerability database at https
- [CogniCrypt](https://www.eclipse.org/cognicrypt) — Checks Java source and byte code for incorrect uses of cryptographic APIs.
+- [Dataflow Framework](https://github.com/typetools/checker-framework) — An industrial-strength dataflow framework for Java. The Dataflow Framework is used in the Checker Framework, Google’s Error Prone, Uber’s NullAway, Meta’s Nullsafe, and in other contexts. It is distributed with the Checker Framework.
+
- [DesigniteJava](http://www.designite-tools.com/designitejava) :copyright: — DesigniteJava supports detection of various architecture, design, and implementation smells along with computation of various code quality metrics.
- [Diffblue](https://www.diffblue.com/) :copyright: — Diffblue is a software company that provides AI-powered code analysis and testing solutions for software development teams.
@@ -564,7 +566,7 @@ Its technology helps developers automate testing, find bugs, and reduce manual l
JavaScript
-- [aether](http://aetherjs.com) :warning: — Lint, analyze, normalize, transform, sandbox, run, step through, and visualize user JavaScript, in node or the browser.
+- [aether](http://aetherjs.com) — Lint, analyze, normalize, transform, sandbox, run, step through, and visualize user JavaScript, in node or the browser.
- [Closure Compiler](https://developers.google.com/closure/compiler) — A compiler tool to increase efficiency, reduce size, and provide code warnings in JavaScript files.
@@ -574,11 +576,11 @@ Its technology helps developers automate testing, find bugs, and reduce manual l
- [DeepScan](https://deepscan.io) :copyright: — An analyzer for JavaScript which targets runtime errors and quality issues rather than coding conventions.
-- [es6-plato](https://github.com/the-simian/es6-plato) :warning: — Visualize JavaScript (ES6) source complexity.
+- [es6-plato](https://github.com/the-simian/es6-plato) — Visualize JavaScript (ES6) source complexity.
-- [escomplex](https://github.com/jared-stilwell/escomplex) :warning: — Software complexity analysis of JavaScript-family abstract syntax trees.
+- [escomplex](https://github.com/jared-stilwell/escomplex) — Software complexity analysis of JavaScript-family abstract syntax trees.
-- [Esprima](https://esprima.org) :warning: — ECMAScript parsing infrastructure for multipurpose analysis.
+- [Esprima](https://esprima.org) — ECMAScript parsing infrastructure for multipurpose analysis.
- [flow](https://flow.org) — A static type checker for JavaScript.
@@ -600,13 +602,13 @@ Its technology helps developers automate testing, find bugs, and reduce manual l
- [retire.js](https://retirejs.github.io/retire.js) — Scanner detecting the use of JavaScript libraries with known vulnerabilities.
-- [RSLint](http://rslint.org/) :warning: — A (WIP) JavaScript linter written in Rust designed to be as fast as possible, customizable, and easy to use.
+- [RSLint](http://rslint.org/) — A (WIP) JavaScript linter written in Rust designed to be as fast as possible, customizable, and easy to use.
- [standard](http://standardjs.com) — An npm module that checks for Javascript Styleguide issues.
- [tern](https://ternjs.net) — A JavaScript code analyzer for deep, cross-editor language support.
-- [TypL](https://typl.dev) :warning: — With TypL, you just write completely standard JS, and the tool figures out your types via powerful inferencing.
+- [TypL](https://typl.dev) — With TypL, you just write completely standard JS, and the tool figures out your types via powerful inferencing.
- [xo](https://github.com/xojs/xo) — Opinionated but configurable ESLint wrapper with lots of goodies included. Enforces strict and readable code.
@@ -658,7 +660,7 @@ A ktfmt IntelliJ plugin is available from the plugin repository. To install it,
- [DrNim](https://nim-lang.org/docs/drnim.html) — DrNim combines the Nim frontend with the Z3 proof engine in order to allow verify / validate software written in Nim.
-- [nimfmt](https://github.com/FedericoCeratto/nimfmt) :warning: — Nim code formatter / linter / style checker
+- [nimfmt](https://github.com/FedericoCeratto/nimfmt) — Nim code formatter / linter / style checker
@@ -696,7 +698,7 @@ A ktfmt IntelliJ plugin is available from the plugin repository. To install it,
- [larastan](https://github.com/nunomaduro/larastan) — Adds static analysis to Laravel improving developer productivity and code quality. It is a wrapper around PHPStan.
-- [Mondrian](https://trismegiste.github.io/Mondrian) :warning: — A set of static analysis and refactoring tools which use graph theory.
+- [Mondrian](https://trismegiste.github.io/Mondrian) — A set of static analysis and refactoring tools which use graph theory.
- [Nitpick CI](https://nitpick-ci.com) :copyright: — Automated PHP code review.
@@ -726,7 +728,7 @@ A ktfmt IntelliJ plugin is available from the plugin repository. To install it,
- [php-speller](https://github.com/mekras/php-speller) — PHP spell check library.
-- [PHP-Token-Reflection](https://github.com/Andrewsville/PHP-Token-Reflection) :warning: — Library emulating the PHP internal reflection.
+- [PHP-Token-Reflection](https://github.com/Andrewsville/PHP-Token-Reflection) — Library emulating the PHP internal reflection.
- [php7cc](https://github.com/sstalle/php7cc) :warning: — PHP 7 Compatibility Checker.
@@ -740,11 +742,11 @@ A ktfmt IntelliJ plugin is available from the plugin repository. To install it,
- [phpdcd](https://github.com/sebastianbergmann/phpdcd) :warning: — Dead Code Detector (DCD) for PHP code.
-- [PhpDependencyAnalysis](https://mamuz.github.io/PhpDependencyAnalysis) :warning: — Builds a dependency graph for a project.
+- [PhpDependencyAnalysis](https://mamuz.github.io/PhpDependencyAnalysis) — Builds a dependency graph for a project.
- [PhpDeprecationDetector](https://github.com/wapmorgan/PhpDeprecationDetector) — Analyzer of PHP code to search issues with deprecated functionality in newer interpreter versions. It finds removed objects (functions, variables, constants and ini-directives), deprecated functions functionality, and usage of forbidden names or tricks (e.g. reserved identifiers in newer versions).
-- [phpdoc-to-typehint](https://github.com/dunglas/phpdoc-to-typehint) :warning: — Add scalar type hints and return types to existing PHP projects using PHPDoc annotations.
+- [phpdoc-to-typehint](https://github.com/dunglas/phpdoc-to-typehint) — Add scalar type hints and return types to existing PHP projects using PHPDoc annotations.
- [phpDocumentor](https://www.phpdoc.org) — Analyzes PHP source code to generate documentation.
@@ -762,7 +764,7 @@ A ktfmt IntelliJ plugin is available from the plugin repository. To install it,
- [phpqa - jmolivas](https://github.com/jmolivas/phpqa) — PHPQA all-in-one Analyzer CLI tool.
-- [phpsa](https://github.com/ovr/phpsa) :warning: — Static analysis tool for PHP.
+- [phpsa](https://github.com/ovr/phpsa) — Static analysis tool for PHP.
- [PHPStan](https://phpstan.org) — PHP Static Analysis Tool - discover bugs in your code without running it!
@@ -770,7 +772,7 @@ A ktfmt IntelliJ plugin is available from the plugin repository. To install it,
- [Psalm](https://psalm.dev) — Static analysis tool for finding type errors in PHP applications.
-- [Qafoo Quality Analyzer](https://github.com/Qafoo/QualityAnalyzer) :warning: — Visualizes metrics and source code.
+- [Qafoo Quality Analyzer](https://github.com/Qafoo/QualityAnalyzer) — Visualizes metrics and source code.
- [rector](https://getrector.org) — Instant Upgrades and Automated Refactoring of any PHP 5.3+ code. It upgrades your code for PHP 7.4, 8.0 and beyond. Rector promises a low false-positive rate because it looks for narrowly defined AST (abstract syntax tree) patterns. The main use-case are tackling technical debt in your legacy code and removing dead code. Rector provides a set of special rules for Symfony, Doctrine, PHPUnit, and many more.
@@ -824,7 +826,7 @@ It uses the pycodestyle utility to determine what parts of the code needs to be
- [Bowler](https://pybowler.io/) — Safe code refactoring for modern Python. Bowler is a refactoring tool for manipulating Python at the syntax tree level. It enables safe, large scale code modifications while guaranteeing that the resulting code compiles and runs. It provides both a simple command line interface and a fluent API in Python for generating complex code modifications in code.
-- [ciocheck](https://github.com/ContinuumIO/ciocheck) :warning: — Linter, formatter and test suite helper. As a linter, it is a wrapper around `pep8`, `pydocstyle`, `flake8`, and `pylint`.
+- [ciocheck](https://github.com/ContinuumIO/ciocheck) — Linter, formatter and test suite helper. As a linter, it is a wrapper around `pep8`, `pydocstyle`, `flake8`, and `pylint`.
- [cohesion](https://github.com/mschwager/cohesion) — A tool for measuring Python class cohesion.
@@ -840,7 +842,7 @@ It uses the pycodestyle utility to determine what parts of the code needs to be
- [flakeheaven](https://pypi.org/project/flakeheaven/) — flakeheaven is a python linter built around flake8 to enable inheritable and complex toml configuration.
-- [InspectorTiger](https://github.com/thg-consulting/it) :warning: — IT, Inspector Tiger, is a modern python code review tool / framework. It comes with bunch of pre-defined handlers which warns you about improvements and possible bugs. Beside these handlers, you can write your own or use community ones.
+- [InspectorTiger](https://github.com/thg-consulting/it) — IT, Inspector Tiger, is a modern python code review tool / framework. It comes with bunch of pre-defined handlers which warns you about improvements and possible bugs. Beside these handlers, you can write your own or use community ones.
- [jedi](https://jedi.readthedocs.io/en/latest) — Autocompletion/static analysis library for Python.
@@ -848,7 +850,7 @@ It uses the pycodestyle utility to determine what parts of the code needs to be
- [mccabe](https://pypi.org/project/mccabe) — Check McCabe complexity.
-- [multilint](https://github.com/adamchainz/multilint) :warning: — A wrapper around `flake8`, `isort` and `modernize`.
+- [multilint](https://github.com/adamchainz/multilint) — A wrapper around `flake8`, `isort` and `modernize`.
- [mypy](http://www.mypy-lang.org) — A static type checker that aims to combine the benefits of duck typing and static typing, frequently used with [MonkeyType](https://github.com/Instagram/MonkeyType).
@@ -932,9 +934,9 @@ YAPF follows a distinctive methodology, originating from the 'clang-format' tool
- [bundler-audit](https://github.com/rubysec/bundler-audit) — Audit Gemfile.lock for gems with security vulnerabilities reported in [Ruby Advisory Database](https://github.com/rubysec/ruby-advisory-db).
-- [cane](https://github.com/square/cane) :warning: — Code quality threshold checking as part of your build.
+- [cane](https://github.com/square/cane) — Code quality threshold checking as part of your build.
-- [Churn](https://github.com/danmayer/churn) :warning: — A Project to give the churn file, class, and method for a project for a given checkin. Over time the tool adds up the history of churns to give the number of times a file, class, or method is changing during the life of a project.
+- [Churn](https://github.com/danmayer/churn) — A Project to give the churn file, class, and method for a project for a given checkin. Over time the tool adds up the history of churns to give the number of times a file, class, or method is changing during the life of a project.
- [dawnscanner](https://github.com/thesp0nge/dawnscanner) — A static analysis security scanner for ruby written web applications. It supports Sinatra, Padrino and Ruby on Rails frameworks.
@@ -952,21 +954,21 @@ YAPF follows a distinctive methodology, originating from the 'clang-format' tool
- [laser](https://github.com/michaeledgar/laser) :warning: — Static analysis and style linter for Ruby code.
-- [MetricFu](https://github.com/metricfu/metric_fu) :warning: — MetricFu is a set of tools to provide reports that show which parts of your code might need extra work.
+- [MetricFu](https://github.com/metricfu/metric_fu) — MetricFu is a set of tools to provide reports that show which parts of your code might need extra work.
- [pelusa](https://github.com/codegram/pelusa) — Static analysis Lint-type tool to improve your OO Ruby code.
- [quality](https://github.com/apiology/quality) — Runs quality checks on your code using community tools, and makes sure your numbers don't get any worse over time.
-- [Querly](https://github.com/soutaro/querly) :warning: — Pattern Based Checking Tool for Ruby.
+- [Querly](https://github.com/soutaro/querly) — Pattern Based Checking Tool for Ruby.
-- [Railroader](https://railroader.org) :warning: — An open source static analysis security vulnerability scanner for Ruby on Rails applications.
+- [Railroader](https://railroader.org) — An open source static analysis security vulnerability scanner for Ruby on Rails applications.
- [rails_best_practices](https://rails-bestpractices.com) — A code metric tool for Rails projects
- [reek](https://github.com/troessner/reek) — Code smell detector for Ruby.
-- [Roodi](https://github.com/roodi/roodi) :warning: — Roodi stands for Ruby Object Oriented Design Inferometer. It parses your Ruby code and warns you about design issues you have based on the checks that it has configured.
+- [Roodi](https://github.com/roodi/roodi) — Roodi stands for Ruby Object Oriented Design Inferometer. It parses your Ruby code and warns you about design issues you have based on the checks that it has configured.
- [RuboCop](https://docs.rubocop.org/rubocop) — A Ruby static code analyzer, based on the community Ruby style guide.
@@ -978,7 +980,7 @@ YAPF follows a distinctive methodology, originating from the 'clang-format' tool
- [rufo](https://github.com/ruby-formatter/rufo) — An opinionated ruby formatter, intended to be used via the command line as a text-editor plugin, to autoformat files on save or on demand.
-- [Saikuro](https://metricfu.github.io/Saikuro) :warning: — A Ruby cyclomatic complexity analyzer.
+- [Saikuro](https://metricfu.github.io/Saikuro) — A Ruby cyclomatic complexity analyzer.
- [SandiMeter](https://rubygems.org/gems/sandi_meter) :warning: — Static analysis tool for checking Ruby code for Sandi Metz' rules.
@@ -1009,7 +1011,7 @@ YAPF follows a distinctive methodology, originating from the 'clang-format' tool
- [cargo-expand](https://github.com/dtolnay/cargo-expand) — Cargo subcommand to show result of macro expansion and #[derive] expansion applied to the current crate. This is a wrapper around a more verbose compiler command.
-- [cargo-inspect](https://github.com/mre/cargo-inspect) :warning: — Inspect Rust code without syntactic sugar to see what the compiler does behind the curtains.
+- [cargo-inspect](https://github.com/mre/cargo-inspect) — Inspect Rust code without syntactic sugar to see what the compiler does behind the curtains.
- [cargo-show-asm](https://github.com/pacak/cargo-show-asm) — cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
@@ -1024,11 +1026,14 @@ It removes a feature of a dependency and then compiles the project to see if it
- [dylint](https://www.trailofbits.com/post/write-rust-lints-without-forking-clippy) — A tool for running Rust lints from dynamic libraries. Dylint makes it easy for developers to maintain their own personal lint collections.
-- [electrolysis](https://kha.github.io/electrolysis) :warning: — A tool for formally verifying Rust programs by transpiling them into definitions in the Lean theorem prover.
+- [electrolysis](https://kha.github.io/electrolysis) — A tool for formally verifying Rust programs by transpiling them into definitions in the Lean theorem prover.
+
+- [herbie](https://github.com/mcarton/rust-herbie-lint) — Adds warnings or errors to your crate when using a numerically unstable floating point expression.
-- [herbie](https://github.com/mcarton/rust-herbie-lint) :warning: — Adds warnings or errors to your crate when using a numerically unstable floating point expression.
+- [kani](https://github.com/model-checking/kani) — The Kani Rust Verifier is a bit-precise model checker for Rust. Kani is particularly useful for verifying unsafe code blocks in Rust, where the "unsafe superpowers" are unchecked by the compiler. Kani verifies:
+* Memory safety (e.g., null pointer dereferences) * User-specified assertions (i.e., assert!(...)) * The absence of panics (e.g., unwrap() on None values) * The absence of some types of unexpected behavior (e.g., arithmetic overflows)
-- [linter-rust](https://github.com/AtomLinter/linter-rust) :warning: — Linting your Rust-files in Atom, using rustc and cargo.
+- [linter-rust](https://github.com/AtomLinter/linter-rust) — Linting your Rust-files in Atom, using rustc and cargo.
- [lockbud](https://github.com/BurtonQin/lockbud) — Statically detects Rust deadlocks bugs. It currently detects two common kinds of deadlock bugs: doublelock and locks in conflicting order. It will print bugs in JSON format together with the source code location and an explanation of each bug.
@@ -1038,9 +1043,9 @@ It removes a feature of a dependency and then compiles the project to see if it
- [Prusti](https://www.pm.inf.ethz.ch/research/prusti.html) — A static verifier for Rust, based on the Viper verification infrastructure. By default Prusti verifies absence of panics by proving that statements such as unreachable!() and panic!() are unreachable.
-- [Rudra](https://github.com/sslab-gatech/Rudra) :warning: — Rust Memory Safety & Undefined Behavior Detection. It is capable of analyzing single Rust packages as well as all the packages on crates.io.
+- [Rudra](https://github.com/sslab-gatech/Rudra) — Rust Memory Safety & Undefined Behavior Detection. It is capable of analyzing single Rust packages as well as all the packages on crates.io.
-- [Rust Language Server](https://github.com/rust-lang-nursery/rls) :warning: — Supports functionality such as 'goto definition', symbol search, reformatting, and code completion, and enables renaming and refactorings.
+- [Rust Language Server](https://github.com/rust-lang-nursery/rls) — Supports functionality such as 'goto definition', symbol search, reformatting, and code completion, and enables renaming and refactorings.
- [rust-analyzer](https://rust-analyzer.github.io) — Supports functionality such as 'goto definition', type inference, symbol search, reformatting, and code completion, and enables renaming and refactorings.
@@ -1065,7 +1070,7 @@ It removes a feature of a dependency and then compiles the project to see if it
- [sleek](https://github.com/nrempel/sleek) — Sleek is a CLI tool for formatting SQL. It helps you maintain a consistent style across your SQL code, enhancing readability and productivity. The heavy lifting is done by the sqlformat crate.
-- [sqlcheck](https://github.com/jarulraj/sqlcheck) :warning: — Automatically identify anti-patterns in SQL queries.
+- [sqlcheck](https://github.com/jarulraj/sqlcheck) — Automatically identify anti-patterns in SQL queries.
- [SQLFluff](https://www.sqlfluff.com/) — Multiple dialect SQL linter and formatter.
@@ -1075,7 +1080,7 @@ It removes a feature of a dependency and then compiles the project to see if it
- [tsqllint](https://github.com/tsqllint/tsqllint) — T-SQL-specific linter.
-- [TSqlRules](https://github.com/ashleyglee/TSqlRules) :warning: — TSQL Static Code Analysis Rules for SQL Server.
+- [TSqlRules](https://github.com/ashleyglee/TSqlRules) — TSQL Static Code Analysis Rules for SQL Server.
- [Visual Expert](https://www.visual-expert.com) :copyright: — Code analysis for PowerBuilder, Oracle, and SQL Server Explores, analyzes, and documents Code
@@ -1084,7 +1089,7 @@ It removes a feature of a dependency and then compiles the project to see if it
Scala
-- [linter](https://github.com/HairyFotr/linter) :warning: — Linter is a Scala static analysis compiler plugin which adds compile-time checks for various possible bugs, inefficiencies, and style problems.
+- [linter](https://github.com/HairyFotr/linter) — Linter is a Scala static analysis compiler plugin which adds compile-time checks for various possible bugs, inefficiencies, and style problems.
- [Scalastyle](http://www.scalastyle.org) — Scalastyle examines your Scala code and indicates potential problems with it.
@@ -1177,7 +1182,7 @@ TSLint is an extensible static analysis tool that checks TypeScript code for rea
Vim Script
-- [vint](https://github.com/Kuniwak/vint) :warning: — Fast and Highly Extensible Vim script Language Lint implemented by Python.
+- [vint](https://github.com/Kuniwak/vint) — Fast and Highly Extensible Vim script Language Lint implemented by Python.
## Multiple languages
@@ -1195,7 +1200,7 @@ TSLint is an extensible static analysis tool that checks TypeScript code for rea
- [ArchUnit](https://www.archunit.org) — Unit test your Java or Kotlin architecture.
-- [Atom-Beautify](https://atom.io/packages/atom-beautify) :warning: — Beautify HTML, CSS, JavaScript, PHP, Python, Ruby, Java, C, C++, C#, Objective-C, CoffeeScript, TypeScript, Coldfusion, SQL, and more in Atom editor.
+- [Atom-Beautify](https://atom.io/packages/atom-beautify) — Beautify HTML, CSS, JavaScript, PHP, Python, Ruby, Java, C, C++, C#, Objective-C, CoffeeScript, TypeScript, Coldfusion, SQL, and more in Atom editor.
- [autocorrect](https://huacnlee.github.io/autocorrect) — A linter and formatter to help you to improve copywriting, correct spaces, words, punctuations between CJK (Chinese, Japanese, Korean).
@@ -1219,7 +1224,7 @@ TSLint is an extensible static analysis tool that checks TypeScript code for rea
- [Clayton](https://www.getclayton.com/) :copyright: — AI-powered code reviews for Salesforce. Secure your developments, enforce best practice and control your technical debt in real-time.
-- [coala](https://coala.io) :warning: — Language independent framework for creating code analysis - supports [over 60 languages](https://coala.io/languages) by default.
+- [coala](https://coala.io) — Language independent framework for creating code analysis - supports [over 60 languages](https://coala.io/languages) by default.
- [Cobra](https://spinroot.com/cobra) :copyright: — Structural source code analyzer by NASA's Jet Propulsion Laboratory.
@@ -1263,7 +1268,7 @@ TSLint is an extensible static analysis tool that checks TypeScript code for rea
- [cpp-linter-action](https://cpp-linter.github.io/cpp-linter-action/) — A Github Action for linting C/C++ code integrating clang-tidy and clang-format to collect feedback provided in the form of thread comments and/or annotations.
-- [cqc](https://github.com/xcatliu/cqc) :warning: — Check your code quality for js, jsx, vue, css, less, scss, sass and styl files.
+- [cqc](https://github.com/xcatliu/cqc) — Check your code quality for js, jsx, vue, css, less, scss, sass and styl files.
- [DeepCode](https://www.deepcode.ai) :warning: :copyright: — DeepCode was acquired by Snyk is now Snyk Code.
@@ -1289,7 +1294,7 @@ TSLint is an extensible static analysis tool that checks TypeScript code for rea
- [Goodcheck](https://sider.github.io/goodcheck) — Regexp based customizable linter.
-- [goone](https://github.com/masibw/goone) :warning: — Finds N+1 queries (SQL calls in a for loop) in go code
+- [goone](https://github.com/masibw/goone) — Finds N+1 queries (SQL calls in a for loop) in go code
- [graudit](http://www.justanotherhacker.com) — Grep rough audit - source code auditing tool.
@@ -1317,7 +1322,7 @@ TSLint is an extensible static analysis tool that checks TypeScript code for rea
its advanced reporting, runnable on any CI system or locally,
with assisted installation and configuration, able to apply formatting and fixes
-- [oclint](http://oclint.org) :warning: — A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C.
+- [oclint](http://oclint.org) — A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C.
- [Offensive 360](https://offensive360.com/) :copyright: — Commercial Static Code Analysis system doesn't require building the source code or pre-compilation.
@@ -1329,7 +1334,7 @@ TSLint is an extensible static analysis tool that checks TypeScript code for rea
- [parasoft](https://www.parasoft.com/) :copyright: — Automated Software Testing Solutions for unit-, API-, and web UI testing. Complies with MISRA, OWASP, and others.
-- [pfff](https://github.com/facebookarchive/pfff/wiki/Main) — Facebook's tools for code analysis, visualizations, or style-preserving source transformation for many languages.
+- [pfff](https://github.com/facebookarchive/pfff/wiki/Main) :warning: — Facebook's tools for code analysis, visualizations, or style-preserving source transformation for many languages.
- [PMD](https://pmd.github.io) — A source code analyzer for Java, Salesforce Apex, Javascript, PLSQL, XML, XSL and others.
@@ -1349,7 +1354,7 @@ TSLint is an extensible static analysis tool that checks TypeScript code for rea
- [Qwiet AI](https://qwiet.ai/) :copyright: — Identify vulnerabilities that are unique to your code base before they reach production. Leverages the Code Property Graph (CPG) to run its analyses concurrently in a single graph of graphs. Automatically finds business logic flaws in dev like hardcoded secrets and logic bombs
-- [Refactoring Essentials](https://marketplace.visualstudio.com/items?itemName=SharpDevelopTeam.RefactoringEssentialsforVisualStudio) :warning: — The free Visual Studio 2015 extension for C# and VB.NET refactorings, including code best practice analyzers.
+- [Refactoring Essentials](https://marketplace.visualstudio.com/items?itemName=SharpDevelopTeam.RefactoringEssentialsforVisualStudio) — The free Visual Studio 2015 extension for C# and VB.NET refactorings, including code best practice analyzers.
- [relint](https://github.com/codingjoe/relint) — A static file linter that allows you to write custom rules using regular expressions (RegEx).
@@ -1357,7 +1362,7 @@ TSLint is an extensible static analysis tool that checks TypeScript code for rea
- [RIPS](https://www.ripstech.com) :copyright: — A static source code analyser for vulnerabilities in PHP scripts.
-- [Rome](https://rome.tools/) — Rome was a linter, compiler, bundler, and [more](https://rome.tools/#development-status) for JavaScript, TypeScript, JSON, HTML, Markdown, and CSS. It has since been succeeded by [biome](https://biomejs.dev/).
+- [Rome](https://rome.tools/) :warning: — Rome was a linter, compiler, bundler, and [more](https://rome.tools/#development-status) for JavaScript, TypeScript, JSON, HTML, Markdown, and CSS. It has since been succeeded by [biome](https://biomejs.dev/).
- [Rome Formatter](https://rome.tools/blog/2022/04/05/rome-formatter-release) :warning: — A performant and fault-tolerant code formatter for JS/TS written in Rust. Superceded by [biome](https://biomejs.dev/).
@@ -1442,7 +1447,7 @@ TSLint is an extensible static analysis tool that checks TypeScript code for rea
- [WhiteHat Application Security Platform](https://www.whitehatsec.com/platform/static-application-security-testing) :copyright: — WhiteHat Scout (for Developers) combined with WhiteHat Sentinel Source (for Operations) supporting WhiteHat Top 40 and OWASP Top 10.
-- [Wotan](https://github.com/fimbullinter/wotan) :warning: — Pluggable TypeScript and JavaScript linter.
+- [Wotan](https://github.com/fimbullinter/wotan) — Pluggable TypeScript and JavaScript linter.
- [XCode](https://developer.apple.com/xcode) :copyright: — XCode provides a pretty decent UI for [Clang's](https://clang-analyzer.llvm.org/xcode.html) static code analyzer (C/C++, Obj-C).
@@ -1471,12 +1476,12 @@ TSLint is an extensible static analysis tool that checks TypeScript code for rea
Archive
-- [alquitran](https://github.com/ferivoz/alquitran) :warning: — Inspects tar archives and tries to spot portability issues in regard to POSIX 2017 pax specification and common tar implementations.
+- [alquitran](https://github.com/ferivoz/alquitran) — Inspects tar archives and tries to spot portability issues in regard to POSIX 2017 pax specification and common tar implementations.
This project is intended to be used by maintainers of projects who want to offer portable source code archives for as many systems as possible. Checking tar archives with alquitran before publishing them should help spotting issues before they reach distributors and users.
- [packj](https://packj.dev) — Packj (pronounced package) is a command line (CLI) tool to vet open-source software packages for "risky" attributes that make them vulnerable to supply chain attacks. This is the tool behind our large-scale security analysis platform Packj.dev that continuously vets packages and provides free reports.
-- [pure](https://github.com/ronomon/pure) :warning: — Pure is a static analysis file format checker that checks ZIP files for dangerous compression ratios, spec deviations, malicious archive signatures, mismatching local and central directory headers, ambiguous UTF-8 filenames, directory and symlink traversals, invalid MS-DOS dates, overlapping headers, overflow, underflow, sparseness, accidental buffer bleeds etc.
+- [pure](https://github.com/ronomon/pure) — Pure is a static analysis file format checker that checks ZIP files for dangerous compression ratios, spec deviations, malicious archive signatures, mismatching local and central directory headers, ambiguous UTF-8 filenames, directory and symlink traversals, invalid MS-DOS dates, overlapping headers, overflow, underflow, sparseness, accidental buffer bleeds etc.
@@ -1519,7 +1524,7 @@ Loading address: binbloom can parse a raw binary firmware and determine its load
- [Manalyze](https://github.com/JusticeRage/Manalyze) — A static analyzer, which checks portable executables for malicious content.
-- [mcsema](https://github.com/lifting-bits/mcsema) :warning: — Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode. It translates ("lifts") executable binaries from native machine code to LLVM bitcode, which is very useful for performing program analysis methods.
+- [mcsema](https://github.com/lifting-bits/mcsema) — Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode. It translates ("lifts") executable binaries from native machine code to LLVM bitcode, which is very useful for performing program analysis methods.
- [Nauz File Detector](https://github.com/horsicq/Nauz-File-Detector) — Static Linker/Compiler/Tool detector for Windows, Linux and MacOS.
@@ -1555,7 +1560,7 @@ Loading address: binbloom can parse a raw binary firmware and determine its load
- [Nu Html Checker](https://validator.github.io/validator/) — Helps you catch problems in your HTML/CSS/SVG
-- [Parker](https://github.com/katiefenn/parker) :warning: — Stylesheet analysis tool.
+- [Parker](https://github.com/katiefenn/parker) — Stylesheet analysis tool.
- [PostCSS](https://postcss.org) — A tool for transforming styles with JS plugins. These plugins can lint your CSS, support variables and mixins, transpile future CSS syntax, inline images, and more.
@@ -1563,7 +1568,7 @@ Loading address: binbloom can parse a raw binary firmware and determine its load
- [sass-lint](https://github.com/sasstools/sass-lint) :warning: — A Node-only Sass linter for both sass and scss syntax.
-- [scsslint](https://github.com/brigade/scss-lint) — Linter for SCSS files.
+- [scsslint](https://github.com/brigade/scss-lint) :warning: — Linter for SCSS files.
- [Specificity Graph](https://jonassebastianohlsson.com/specificity-graph) — CSS Specificity Graph Generator.
@@ -1605,7 +1610,7 @@ Loading address: binbloom can parse a raw binary firmware and determine its load
- [metadata-json-lint](https://github.com/voxpupuli/metadata-json-lint) — Tool to check the validity of Puppet metadata.json files.
-- [Puppet Lint](https://github.com/rodjek/puppet-lint) :warning: — Check that your Puppet manifests conform to the style guide.
+- [Puppet Lint](https://github.com/rodjek/puppet-lint) — Check that your Puppet manifests conform to the style guide.
- [Steampunk Spotter](https://steampunk.si/spotter/) :copyright: — Ansible Playbook Scanning Tool that analyzes and offers recommendations for your playbooks.
@@ -1626,11 +1631,11 @@ Loading address: binbloom can parse a raw binary firmware and determine its load
- [clair](https://github.com/coreos/clair) — Vulnerability Static Analysis for Containers.
-- [collector](https://github.com/banyanops/collector) :warning: — Run arbitrary scripts inside containers, and gather useful information.
+- [collector](https://github.com/banyanops/collector) — Run arbitrary scripts inside containers, and gather useful information.
-- [dagda](https://github.com/eliasgranderubio/dagda) — Perform static analysis of known vulnerabilities in docker images/containers.
+- [dagda](https://github.com/eliasgranderubio/dagda) :warning: — Perform static analysis of known vulnerabilities in docker images/containers.
-- [Docker Label Inspector](https://github.com/garethr/docker-label-inspector) :warning: — Lint and validate Dockerfile labels.
+- [Docker Label Inspector](https://github.com/garethr/docker-label-inspector) — Lint and validate Dockerfile labels.
- [GitGuardian ggshield](https://www.gitguardian.com/ggshield) — ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.
@@ -1725,13 +1730,13 @@ Its technology helps developers automate testing, find bugs, and reduce manual l
- [Angular ESLint](https://github.com/angular-eslint/angular-eslint#readme) — Linter for Angular projects
-- [Bootlint](https://github.com/twbs/bootlint) :warning: — An HTML linter for Bootstrap projects.
+- [Bootlint](https://github.com/twbs/bootlint) — An HTML linter for Bootstrap projects.
- [ERB Lint](https://github.com/Shopify/erb-lint) — Lint your ERB or HTML files
-- [grunt-bootlint](https://github.com/twbs/grunt-bootlint) :warning: — A Grunt wrapper for [Bootlint](https://github.com/twbs/bootlint), the HTML linter for Bootstrap projects.
+- [grunt-bootlint](https://github.com/twbs/grunt-bootlint) — A Grunt wrapper for [Bootlint](https://github.com/twbs/bootlint), the HTML linter for Bootstrap projects.
-- [gulp-bootlint](https://github.com/tschortsch/gulp-bootlint) :warning: — A gulp wrapper for [Bootlint](https://github.com/twbs/bootlint), the HTML linter for Bootstrap projects.
+- [gulp-bootlint](https://github.com/tschortsch/gulp-bootlint) — A gulp wrapper for [Bootlint](https://github.com/twbs/bootlint), the HTML linter for Bootstrap projects.
- [HTML Inspector](https://github.com/philipwalton/html-inspector) :warning: — HTML Inspector is a code quality tool to help you and your team write better markup.
@@ -1774,7 +1779,7 @@ Its technology helps developers automate testing, find bugs, and reduce manual l
- [krane](https://github.com/appvia/krane) — Krane is a simple Kubernetes RBAC static analysis tool.
It identifies potential security risks in K8s RBAC design and makes suggestions on how to mitigate them. Krane dashboard presents current RBAC security posture and lets you navigate through its definition.
-- [kube-hunter](https://aquasecurity.github.io/kube-hunter/) :warning: — Hunt for security weaknesses in Kubernetes clusters.
+- [kube-hunter](https://aquasecurity.github.io/kube-hunter/) — Hunt for security weaknesses in Kubernetes clusters.
- [kube-lint](https://github.com/viglesiasce/kube-lint) — A linter for Kubernetes resources with a customizable rule set. You define a list of rules that you would like to validate against your resources and kube-lint will evaluate those rules against them.
@@ -1838,7 +1843,7 @@ It is inspired by, contains code from and is designed to stay close to [Kubeval]
Metalinter
-- [ciocheck](https://github.com/ContinuumIO/ciocheck) :warning: — Linter, formatter and test suite helper. As a linter, it is a wrapper around `pep8`, `pydocstyle`, `flake8`, and `pylint`.
+- [ciocheck](https://github.com/ContinuumIO/ciocheck) — Linter, formatter and test suite helper. As a linter, it is a wrapper around `pep8`, `pydocstyle`, `flake8`, and `pylint`.
- [flake8](https://github.com/PyCQA/flake8) — A wrapper around `pyflakes`, `pycodestyle` and `mccabe`.
@@ -1848,7 +1853,7 @@ It is inspired by, contains code from and is designed to stay close to [Kubeval]
- [goreporter](https://github.com/360EntSecGroup-Skylar/goreporter) — Concurrently runs many linters and normalises their output to a report.
-- [multilint](https://github.com/adamchainz/multilint) :warning: — A wrapper around `flake8`, `isort` and `modernize`.
+- [multilint](https://github.com/adamchainz/multilint) — A wrapper around `flake8`, `isort` and `modernize`.
- [prospector](https://github.com/PyCQA/prospector) — A wrapper around `pylint`, `pep8`, `mccabe` and others.
@@ -1859,19 +1864,19 @@ It is inspired by, contains code from and is designed to stay close to [Kubeval]
- [Android Lint](http://tools.android.com/tips/lint) — Run static analysis on Android projects.
-- [android-lint-summary](https://passy.github.io/android-lint-summary) :warning: — Combines lint errors of multiple projects into one output, check lint results of multiple sub-projects at once.
+- [android-lint-summary](https://passy.github.io/android-lint-summary) — Combines lint errors of multiple projects into one output, check lint results of multiple sub-projects at once.
- [FlowDroid](https://github.com/secure-software-engineering/FlowDroid) — Static taint analysis tool for Android applications.
-- [iblessing](https://www.kitploit.com/2020/08/iblessing-ios-security-exploiting.html) :warning: — iblessing is an iOS security exploiting toolkit. It can be used for reverse engineering, binary analysis and vulnerability mining.
+- [iblessing](https://www.kitploit.com/2020/08/iblessing-ios-security-exploiting.html) — iblessing is an iOS security exploiting toolkit. It can be used for reverse engineering, binary analysis and vulnerability mining.
- [Mariana Trench](https://mariana-tren.ch/) — Our security focused static analysis tool for Android and Java applications. Mariana Trench analyzes Dalvik bytecode and is built to run fast on large codebases (10s of millions of lines of code). It can find vulnerabilities as code changes, before it ever lands in your repository.
- [Oversecured](https://oversecured.com) :copyright: — Enterprise vulnerability scanner for Android and iOS apps. It allows app owners and developers to secure each new version of a mobile app by integrating Oversecured into the development process.
-- [paprika](https://github.com/GeoffreyHecht/paprika) :warning: — A toolkit to detect some code smells in analyzed Android applications.
+- [paprika](https://github.com/GeoffreyHecht/paprika) — A toolkit to detect some code smells in analyzed Android applications.
-- [qark](https://github.com/linkedin/qark) :warning: — Tool to look for several security related Android application vulnerabilities.
+- [qark](https://github.com/linkedin/qark) — Tool to look for several security related Android application vulnerabilities.
- [redex](https://fbredex.com) — Redex provides a framework for reading, writing, and analyzing .dex files, and a set of optimization passes that use this framework to improve the bytecode. An APK optimized by Redex should be smaller and faster.
@@ -1955,13 +1960,16 @@ It does this by running periodic diff outputs against heuristically crafted rege
- [HasMySecretLeaked](https://gitguardian.com/hasmysecretleaked) :copyright: — HasMySecretLeaked is a project from GitGuardian that aims to help individual users and organizations search across 20 million exposed secrets to verify if their developer secrets have leaked on public repositories, gists, and issues on GitHub projects.
-- [iblessing](https://www.kitploit.com/2020/08/iblessing-ios-security-exploiting.html) :warning: — iblessing is an iOS security exploiting toolkit. It can be used for reverse engineering, binary analysis and vulnerability mining.
+- [iblessing](https://www.kitploit.com/2020/08/iblessing-ios-security-exploiting.html) — iblessing is an iOS security exploiting toolkit. It can be used for reverse engineering, binary analysis and vulnerability mining.
+
+- [kani](https://github.com/model-checking/kani) — The Kani Rust Verifier is a bit-precise model checker for Rust. Kani is particularly useful for verifying unsafe code blocks in Rust, where the "unsafe superpowers" are unchecked by the compiler. Kani verifies:
+* Memory safety (e.g., null pointer dereferences) * User-specified assertions (i.e., assert!(...)) * The absence of panics (e.g., unwrap() on None values) * The absence of some types of unexpected behavior (e.g., arithmetic overflows)
- [kics](https://kics.io/) — Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible
- [ktool](https://ktool.cynder.me/en/latest/ktool.html) — Fully cross-platform toolkit and library for MachO+Obj-C editing/analysis. Includes a cli kit, a curses GUI, ObjC header dumping, and much more.
-- [kube-hunter](https://aquasecurity.github.io/kube-hunter/) :warning: — Hunt for security weaknesses in Kubernetes clusters.
+- [kube-hunter](https://aquasecurity.github.io/kube-hunter/) — Hunt for security weaknesses in Kubernetes clusters.
- [lockfile-lint](https://github.com/lirantal/lockfile-lint) — Lint an npm or yarn lockfile to analyze and detect security issues
@@ -2053,7 +2061,7 @@ TruffleHog is an open source secret-scanning engine that resolves exposed secret
Translation
-- [dennis](https://github.com/willkg/dennis) :warning: — A set of utilities for working with PO files to ease development and improve quality.
+- [dennis](https://github.com/willkg/dennis) — A set of utilities for working with PO files to ease development and improve quality.
@@ -2090,7 +2098,7 @@ TruffleHog is an open source secret-scanning engine that resolves exposed secret
- [proselint](http://proselint.com) — A linter for English prose with a focus on writing style instead of grammar.
-- [vale](https://docs.errata.ai/vale/about) — A syntax-aware linter for prose built with speed and extensibility in mind.
+- [vale](https://vale.sh) — A syntax-aware linter for prose built with speed and extensibility in mind.
- [write-good](https://github.com/btford/write-good) — A linter with a focus on eliminating "weasel words".
diff --git a/docs/awesome/urban-and-regional-planning-resources.md b/docs/awesome/urban-and-regional-planning-resources.md
index f659ab930c..6a3a58bc20 100644
--- a/docs/awesome/urban-and-regional-planning-resources.md
+++ b/docs/awesome/urban-and-regional-planning-resources.md
@@ -12,7 +12,7 @@ This repository contains curated list of different urban & regional planning dat
---
#### Sponsors
-The Technology's Division's Resource Repository is [sponsored](https://github.com/APA-Technology-Division/urban-and-regional-planning-resources/blob/main/resources/Division_Sponsorship_Package_22.pdf) by the following companies and organizations.
+The Technology's Division's Resource Repository is [sponsored](https://github.com/APA-Technology-Division/urban-and-regional-planning-resources/blob/main/resources/Division_Sponsorship_Package_23.pdf) by the following companies and organizations.