diff --git a/docs/awesome/awesome-ada.md b/docs/awesome/awesome-ada.md index 274127f00c..9195a77a72 100644 --- a/docs/awesome/awesome-ada.md +++ b/docs/awesome/awesome-ada.md @@ -548,6 +548,7 @@ language. It is loosely modelled after JUnit and some ideas from AUnit. ### Frameworks - [SweetAda](https://github.com/gabriele-galeotti/SweetAda) - A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards. - [robotics-with-ada](https://github.com/AdaCore/Robotics_with_Ada) - Robotics with Ada, ARM, and Lego. +- [adamant](https://github.com/lasp/adamant) - A component-based, model-driven framework for constructing reliable and reusable real-time software. ### Firmwares - [certiflie](https://github.com/AdaCore/Certyflie) - Source code for the full Ada + SPARK Crazyflie 2.0 firmware. diff --git a/docs/awesome/awesome-browser-extensions-for-github.md b/docs/awesome/awesome-browser-extensions-for-github.md index 46d70d0d7f..109adebecb 100644 --- a/docs/awesome/awesome-browser-extensions-for-github.md +++ b/docs/awesome/awesome-browser-extensions-for-github.md @@ -25,7 +25,7 @@ Want to know more about this process? Check out the [Codeless Contributions with Shows notifications when you get a new notification on GitHub and provides quick access to all notifications in a popup. -Installs: 135 | Stars: 78 | Last update: 2 Jun 2023 +Installs: 132 | Stars: 78 | Last update: 2 Jun 2023 Removes clutter from your pull request by automatically marking as viewed files that aren't worth reviewing. @@ -35,32 +35,32 @@ Installs: 30 | Stars: 7 | Last update: 14 Feb 2022 Next level code navigation for GitHub. -Installs: 592 | Stars: 58 | Last update: 20 Jul 2022 +Installs: 593 | 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: 228 | Stars: 12 | Last update: 26 Apr 2022 +Installs: 225 | 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: 830 | Stars: 19 | Last update: 2 May 2023 +Installs: 822 | 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: 334 | Stars: 455 | Last update: 1 Mar 2021 +Installs: 338 | Stars: 455 | Last update: 1 Mar 2021 Displays size of each file, download link and an option of copying file contents directly to clipboard -Installs: 40749 | Stars: 1914 | Last update: 25 Dec 2021 +Installs: 40742 | Stars: 1915 | Last update: 25 Dec 2021 Easily search GIPHY to add a GIF into any GitHub comment box. -Installs: 10526 | Stars: 158 | Last update: 7 Nov 2023 +Installs: 10514 | Stars: 158 | Last update: 7 Nov 2023 Find the best GIFs for your awesome pull requests. @@ -70,7 +70,7 @@ Installs: 136 | Stars: 22 | Last update: n/a Quickly browse the history of a file from any git repository. -Installs: 7228 | Stars: 13425 | Last update: 14 Oct 2023 +Installs: 7226 | Stars: 13426 | 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. @@ -80,12 +80,12 @@ Installs: 31 | 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: 3122 | Stars: 286 | Last update: 14 Jul 2022 +Installs: 3121 | Stars: 286 | Last update: 14 Jul 2022 Set custom tab size for code view on GitHub.com -Installs: 554 | Stars: 67 | Last update: 6 May 2019 +Installs: 547 | Stars: 67 | Last update: 6 May 2019 Easily navigate through the changes in a file that has been edited on GitHub. @@ -105,52 +105,52 @@ Installs: 1000 | Stars: 142 | Last update: 8 Oct 2019 Neat hovercards for GitHub. -Installs: 27147 | Stars: 1785 | Last update: 12 May 2021 +Installs: 27151 | Stars: 1785 | Last update: 12 May 2021 Colorize issue and PR links to see their status (open, closed, merged). -Installs: 936 | Stars: 293 | Last update: 4 Nov 2021 +Installs: 922 | Stars: 294 | Last update: 4 Nov 2021 Displays npm package stats on GitHub -Installs: 628 | Stars: 56 | Last update: 31 May 2020 +Installs: 629 | Stars: 56 | Last update: 31 May 2020 Lists repositories that are similar to the one being viewed -Installs: 399 | Stars: 42 | Last update: 10 Aug 2022 +Installs: 391 | Stars: 42 | Last update: 10 Aug 2022 Revert closed GitHub issues from purple back to red -Installs: 29 | Stars: 39 | Last update: 11 Aug 2023 +Installs: 28 | Stars: 39 | Last update: 11 Aug 2023 Automatically adds repository size to GitHub's repository summary. -Installs: 20000 | Stars: 1171 | Last update: 26 Jun 2020 +Installs: 20000 | Stars: 1172 | Last update: 26 Jun 2020 Chrome extension to see story points in GitHub projects. -Installs: 599 | Stars: 60 | Last update: 17 Aug 2020 +Installs: 594 | 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: 990 | Stars: 48 | Last update: 25 Sep 2023 +Installs: 978 | 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: 2134 | Stars: 349 | Last update: 14 Nov 2023 +Installs: 2132 | Stars: 349 | Last update: 14 Nov 2023 View and create Linear tickets from any GitHub PR or issue. -Installs: 58 | Stars: 20 | Last update: 12 Apr 2023 +Installs: 59 | 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: 278 | Last update: 30 Sep 2021 It can make the sub-directories and files of github repository as zip and download it -Installs: 103423 | Stars: 34 | Last update: 21 Aug 2023 +Installs: 103381 | 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: 554 | Stars: n/a | Last update: 22 Aug 2022 +Installs: 551 | 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: 689 | 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: 690 | Stars: 316 | Last update: 17 Sep 2021 +Installs: 689 | Stars: 316 | Last update: 17 Sep 2021 Allows you to toggle between the normal GitHub contribution chart and an isometric pixel art version. @@ -190,7 +190,7 @@ Installs: 10000 | Stars: 3395 | Last update: 19 Nov 2023 Browser extension to add git graph to GitHub website. -Installs: 5347 | Stars: 2036 | Last update: 17 Nov 2023 +Installs: 5343 | Stars: 2038 | Last update: 17 Nov 2023 Chrome extension that adds a button in browser and links this button to a GitHub repository that you will configure, then on any webpage just click this extension button and it will add the given link with the title of the page in that repository. @@ -200,12 +200,12 @@ Installs: 63 | Stars: 233 | Last update: 26 May 2018 See forks with the most stars under the names of repositories. -Installs: 1331 | Stars: 561 | Last update: 6 Nov 2023 +Installs: 1327 | Stars: 561 | Last update: 6 Nov 2023 Show Material icons for files/folders in repository file viewer. Display the same icons from vscode-material-icon-theme VSCode extension. -Installs: 10648 | Stars: 387 | Last update: 21 Nov 2023 +Installs: 10641 | Stars: 387 | Last update: 21 Nov 2023 An extension that creates direct links to imported modules, external or internal, on source code on GitHub. Supports multiple languages, including common ones like Rust, Go, Python and Ruby, but also odd ones like Nim, Haskell, Julia and Elm. @@ -220,29 +220,29 @@ Installs: 16 | 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: 446 | Stars: 141 | Last update: 6 Apr 2023 +Installs: 447 | 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: 10590 | Stars: 1751 | Last update: 12 Jul 2023 +Installs: 10573 | Stars: 1751 | 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: 64 | Stars: 133 | Last update: 20 Nov 2023 +Installs: 65 | Stars: 133 | Last update: 20 Nov 2023 OctoLinker is the easiest and best way to navigate between files and projects on GitHub. It supports languages such as JavaScript, Ruby, Go, PHP, JAVA and more. It works with package.json as well as with Gemfiles. -Installs: 32700 | Stars: 5200 | Last update: 13 Nov 2022 +Installs: 32686 | Stars: 5201 | 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: 227 | Stars: 21 | Last update: 20 May 2017 +Installs: 231 | Stars: 21 | Last update: 20 May 2017 The missing IntelliSense hint for GitHub and GitLab @@ -252,12 +252,12 @@ Installs: 5000 | Stars: 959 | Last update: 4 Feb 2022 Useful for developers who frequently read source in GitHub and do not want to download or checkout too many repositories. -Installs: 337571 | Stars: 22564 | Last update: 17 Nov 2023 +Installs: 337473 | Stars: 22568 | Last update: 17 Nov 2023 Revert GitHub's UI back to its classic look (before the June 23, 2020 update that has a flat, rounded and more whitespaced design). -Installs: 370 | Stars: 224 | Last update: 30 Apr 2023 +Installs: 371 | 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. @@ -267,27 +267,27 @@ Installs: 1046 | Stars: 64 | 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: 755 | Stars: 112 | Last update: 21 Jun 2023 +Installs: 743 | Stars: 112 | Last update: 21 Jun 2023 Browser extension that shows which pull requests contain changes related to a file. -Installs: 40 | Stars: 96 | Last update: 15 Oct 2020 +Installs: 39 | Stars: 96 | Last update: 15 Oct 2020 Extension that simplifies the GitHub interface and adds useful features. -Installs: 78830 | Stars: 22161 | Last update: 23 Nov 2023 +Installs: 78694 | Stars: 22163 | Last update: 23 Nov 2023 Are they tabs? Are they spaces? How many? Never wonder again! Renders spaces as `·` and tabs as `→` in all the code on GitHub. -Installs: 618 | Stars: 75 | Last update: 25 Aug 2018 +Installs: 613 | 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. -Installs: 33 | Stars: n/a | Last update: 10 Aug 2020 +Installs: 32 | Stars: n/a | Last update: 10 Aug 2020 The Sourcegraph browser extension gives GitHub IDE-like powers when you're viewing code, pull requests, and diffs: @@ -298,17 +298,17 @@ The Sourcegraph browser extension gives GitHub IDE-like powers when you're viewi 4. Hover tooltips 5. File tree navigation -Installs: 101076 | Stars: 9170 | Last update: 25 Oct 2023 +Installs: 101057 | Stars: 9173 | Last update: 25 Oct 2023 Make tab indented code more readable by forcing the tab size to 4 instead of 8. -Installs: 2000 | Stars: 280 | Last update: 25 Sep 2021 +Installs: 1000 | Stars: 280 | Last update: 25 Sep 2021 Helps you see easily which activities happened since you last visited GitHub. -Installs: 197 | Stars: 31 | Last update: n/a +Installs: 202 | 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: 23 Nov 2023 All your issues, PRs, repos and other work documents right in your new tab -Installs: 20178 | Stars: n/a | Last update: 17 Oct 2023 +Installs: 20175 | Stars: n/a | Last update: 17 Oct 2023 file tree for github, and more than that. -Installs: 10416 | Stars: n/a | Last update: 12 Aug 2023 +Installs: 10406 | 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: 126 | Last update: 18 Oct 2023 +Installs: 52422 | Stars: 126 | 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: 2089 | Stars: 726 | Last update: 29 May 2023 +Installs: 2088 | Stars: 726 | Last update: 29 May 2023 Extends GitHub pages with math, diagrams, embedded YouTube videos etc. -Installs: 474 | Stars: 87 | Last update: 22 Aug 2023 +Installs: 477 | Stars: 87 | Last update: 22 Aug 2023 diff --git a/docs/awesome/awesome-cpp.md b/docs/awesome/awesome-cpp.md index ba5a451980..11c662230f 100644 --- a/docs/awesome/awesome-cpp.md +++ b/docs/awesome/awesome-cpp.md @@ -463,6 +463,7 @@ A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny * [CEGUI](http://cegui.org.uk/) - Flexible, cross-platform GUI library. * [Elements](https://github.com/cycfi/elements) - Lightweight, fine-grained, resolution independent, modular GUI library. [MIT] * [FLTK](http://www.fltk.org/index.php) - Fast, light, cross-platform C++ GUI toolkit. [GPL2] +* [FOX Toolkit](http://fox-toolkit.org) - an open-source, cross-platform widget toolkit. [LGPL] * [GacUI](https://github.com/vczh-libraries/GacUI) - GPU Accelerated C++ User Interface, with WYSIWYG developing tools, XML supports, built-in data binding and MVVM features. [Ms-PL] * [GTK+](http://www.gtk.org/) - A multi-platform toolkit for creating graphical user interfaces. [LGPL] * [gtkmm](http://www.gtkmm.org/en/) - The official C++ interface for the popular GUI library GTK+. [LGPL] diff --git a/docs/awesome/awesome-neovim.md b/docs/awesome/awesome-neovim.md index 7217208903..60ca3ea55b 100644 --- a/docs/awesome/awesome-neovim.md +++ b/docs/awesome/awesome-neovim.md @@ -288,7 +288,6 @@ ## Color - [NvChad/nvim-colorizer.lua](https://github.com/NvChad/nvim-colorizer.lua) - A high-performance color highlighter which has no external dependencies!. -- [sunjon/Shade.nvim](https://github.com/sunjon/Shade.nvim) - Shade is a Neovim plugin that dims your inactive windows, making it easier to see the active window at a glance. - [winston0410/range-highlight.nvim](https://github.com/winston0410/range-highlight.nvim) - An extremely lightweight plugin (~ 120loc) that highlights ranges you have entered in commandline. - [xiyaowong/nvim-transparent](https://github.com/xiyaowong/nvim-transparent) - Make your Neovim transparent. - [folke/twilight.nvim](https://github.com/folke/twilight.nvim) - Dim inactive portions of the code you're editing using TreeSitter. @@ -438,7 +437,7 @@ These colorschemes may not specialize in Tree-sitter directly but are written in - [4e554c4c/darkman.nvim](https://github.com/4e554c4c/darkman.nvim) - Follow the system dark-mode setting on Linux. - [f-person/auto-dark-mode.nvim](https://github.com/f-person/auto-dark-mode.nvim) - Follow the system appearance on macOS. - [zaldih/themery.nvim](https://github.com/zaldih/themery.nvim) - A new way to change the colorscheme on the fly like in vscode. -- [linrongbin16/colorbox.nvim](https://github.com/linrongbin16/colorbox.nvim) - Load all the ultra colorschemes into your Neovim player! It collect all the most popurlar colorschemes, install and allow you to play them with multiple playback settings. +- [linrongbin16/colorbox.nvim](https://github.com/linrongbin16/colorbox.nvim) - Load all the ultra colorschemes into your Neovim player! It collects all the most popular colorschemes, installs them, and allows you to play them with multiple playback settings. ## Bars and Lines @@ -613,6 +612,7 @@ These colorschemes may not specialize in Tree-sitter directly but are written in - [luckasRanarison/nvim-devdocs](https://github.com/luckasRanarison/nvim-devdocs) - Preview devdocs.io documentations directly in Markdown format. - [VidocqH/data-viewer.nvim](https://github.com/VidocqH/data-viewer.nvim) - Provide a simple table view to inspect data files such as `csv`, `tsv`. - [JMarkin/gentags.lua](https://github.com/JMarkin/gentags.lua) - Auto generate tag files by ctags. +- [`yutkat/confirm-quit.nvim`](https://github.com/yutkat/confirm-quit.nvim) - Confirm before quitting Neovim. ## Terminal Integration diff --git a/docs/awesome/awesome-selfhosted.md b/docs/awesome/awesome-selfhosted.md index b810f0aa6b..811055d2ca 100644 --- a/docs/awesome/awesome-selfhosted.md +++ b/docs/awesome/awesome-selfhosted.md @@ -311,7 +311,7 @@ Simple deployment of [E-mail](https://en.wikipedia.org/wiki/Email) servers, e.g. - [Cyrus IMAP](https://www.cyrusimap.org/) - Email (IMAP/POP3), contacts and calendar server. ([Source Code](https://github.com/cyrusimap/cyrus-imapd)) `BSD-3-Clause-Attribution` `C` - [Dovecot](https://www.dovecot.org/) - IMAP and POP3 server written primarily with security in mind. ([Source Code](https://github.com/dovecot/core)) `MIT/LGPL-2.1` `C/deb` - [MailForm](https://github.com/Feuerhamster/mailform) - Lightweight self-hosted email service for contact forms and more (alternative to Formspree and SendGrid). `Apache-2.0` `Nodejs/Docker` -- [Piler](https://www.mailpiler.org/wiki/start) - Feature-rich open source email archiving solution. ([Source Code](https://bitbucket.org/jsuto/piler)) `GPL-3.0` `C` +- [Piler](https://www.mailpiler.org/) - Feature-rich email archiving solution. ([Source Code](https://bitbucket.org/jsuto/piler)) `GPL-3.0` `C` - [Stalwart JMAP](https://stalw.art/jmap) - JMAP and IMAP server designed to be secure, fast, robust and scalable. ([Source Code](https://github.com/stalwartlabs/jmap-server)) `AGPL-3.0` `Rust/Docker`