From d888728d2542c377285f53fb9e5cde86d9aa5e43 Mon Sep 17 00:00:00 2001 From: chenjiajia Date: Thu, 23 Nov 2023 21:08:28 +0000 Subject: [PATCH] Robot Updated at:23 Nov 2023 21:08:28 GMT --- docs/awesome/awesome-agi-cocosci.md | 2 +- .../awesome-browser-extensions-for-github.md | 84 +++---- docs/awesome/awesome-cl.md | 7 +- docs/awesome/awesome-cpp.md | 1 + docs/awesome/awesome-dotnet.md | 1 - .../awesome/awesome-functional-programming.md | 121 ++++----- docs/awesome/awesome-mac.md | 2 +- docs/awesome/awesome-neovim.md | 3 +- docs/awesome/awesome-selfhosted.md | 9 - docs/awesome/awesome-slack.md | 230 ++++++++++++------ 10 files changed, 271 insertions(+), 189 deletions(-) diff --git a/docs/awesome/awesome-agi-cocosci.md b/docs/awesome/awesome-agi-cocosci.md index 8b8937074f..adc3c58fb7 100644 --- a/docs/awesome/awesome-agi-cocosci.md +++ b/docs/awesome/awesome-agi-cocosci.md @@ -579,7 +579,7 @@ Contributions are greatly welcomed! Please refer to [Contribution Guidelines](ht -#### Language Compositionality +#### Emergence of Language * [Compositionality](https://plato.stanford.edu/entries/compositionality/) - ***Plato Stanford***. A computational philosophy account on compositionality, one of the distinctive feature of language. diff --git a/docs/awesome/awesome-browser-extensions-for-github.md b/docs/awesome/awesome-browser-extensions-for-github.md index 8f3555b740..6dd9d76010 100644 --- a/docs/awesome/awesome-browser-extensions-for-github.md +++ b/docs/awesome/awesome-browser-extensions-for-github.md @@ -30,37 +30,37 @@ Installs: 131 | 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: 29 | Stars: 7 | Last update: 14 Feb 2022 +Installs: 30 | Stars: 7 | Last update: 14 Feb 2022 Next level code navigation for GitHub. -Installs: 590 | Stars: 58 | Last update: 20 Jul 2022 +Installs: 591 | 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: 226 | Stars: 12 | Last update: 26 Apr 2022 +Installs: 229 | 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: 825 | Stars: 19 | Last update: 2 May 2023 +Installs: 827 | 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: 324 | Stars: 455 | Last update: 1 Mar 2021 +Installs: 333 | 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: 40733 | Stars: 1915 | Last update: 25 Dec 2021 +Installs: 40734 | Stars: 1915 | Last update: 25 Dec 2021 Easily search GIPHY to add a GIF into any GitHub comment box. -Installs: 10504 | Stars: 158 | Last update: 7 Nov 2023 +Installs: 10506 | Stars: 158 | Last update: 7 Nov 2023 Find the best GIFs for your awesome pull requests. @@ -70,12 +70,12 @@ Installs: 136 | Stars: 22 | Last update: n/a Quickly browse the history of a file from any git repository. -Installs: 7222 | Stars: 13423 | Last update: 14 Oct 2023 +Installs: 7222 | 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. -Installs: 29 | 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. @@ -85,12 +85,12 @@ Installs: 3118 | Stars: 286 | Last update: 14 Jul 2022 Set custom tab size for code view on GitHub.com -Installs: 556 | Stars: 67 | Last update: 6 May 2019 +Installs: 558 | Stars: 67 | Last update: 6 May 2019 Easily navigate through the changes in a file that has been edited on GitHub. -Installs: 206 | Stars: 19 | Last update: 28 Apr 2023 +Installs: 207 | Stars: 19 | Last update: 28 Apr 2023 A browser extension which gives different filetypes different icons on GitHub. @@ -105,22 +105,22 @@ Installs: 1000 | Stars: 142 | Last update: 8 Oct 2019 Neat hovercards for GitHub. -Installs: 27123 | Stars: 1786 | Last update: 12 May 2021 +Installs: 27129 | Stars: 1786 | Last update: 12 May 2021 Colorize issue and PR links to see their status (open, closed, merged). -Installs: 949 | Stars: 293 | Last update: 4 Nov 2021 +Installs: 956 | Stars: 293 | Last update: 4 Nov 2021 Displays npm package stats on GitHub -Installs: 625 | Stars: 56 | Last update: 31 May 2020 +Installs: 628 | Stars: 56 | Last update: 31 May 2020 Lists repositories that are similar to the one being viewed -Installs: 401 | Stars: 42 | Last update: 10 Aug 2022 +Installs: 400 | Stars: 42 | Last update: 10 Aug 2022 Revert closed GitHub issues from purple back to red @@ -135,12 +135,12 @@ Installs: 20000 | Stars: 1173 | Last update: 26 Jun 2020 Chrome extension to see story points in GitHub projects. -Installs: 598 | Stars: 60 | Last update: 17 Aug 2020 +Installs: 597 | 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: 1009 | Stars: 48 | Last update: 25 Sep 2023 +Installs: 1003 | 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. @@ -150,7 +150,7 @@ 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: 103344 | Stars: 34 | Last update: 21 Aug 2023 +Installs: 103354 | 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: 548 | Stars: n/a | Last update: 22 Aug 2022 +Installs: 550 | Stars: n/a | Last update: 22 Aug 2022 Extension to get back current and longest streak. -Installs: 679 | Stars: 225 | Last update: 10 Jan 2023 +Installs: 687 | 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: 698 | Stars: 315 | Last update: 17 Sep 2021 +Installs: 695 | Stars: 315 | Last update: 17 Sep 2021 Allows you to toggle between the normal GitHub contribution chart and an isometric pixel art version. @@ -190,12 +190,12 @@ Installs: 10000 | Stars: 3395 | Last update: 19 Nov 2023 Browser extension to add git graph to GitHub website. -Installs: 5332 | Stars: 2017 | Last update: 17 Nov 2023 +Installs: 5334 | Stars: 2029 | 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. -Installs: 62 | Stars: 233 | Last update: 26 May 2018 +Installs: 61 | Stars: 233 | Last update: 26 May 2018 See forks with the most stars under the names of repositories. @@ -205,7 +205,7 @@ Installs: 1326 | 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: 10623 | Stars: 386 | Last update: 21 Nov 2023 +Installs: 10626 | Stars: 386 | 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: 15 | 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: 448 | Stars: 141 | Last update: 6 Apr 2023 +Installs: 449 | 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: 10567 | Stars: 1750 | Last update: 12 Jul 2023 +Installs: 10568 | 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: 49 | Stars: 133 | Last update: 20 Nov 2023 +Installs: 58 | 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: 32683 | Stars: 5199 | Last update: 13 Nov 2022 +Installs: 32684 | Stars: 5200 | 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: 233 | Stars: 21 | Last update: 20 May 2017 +Installs: 230 | Stars: 21 | Last update: 20 May 2017 The missing IntelliSense hint for GitHub and GitLab @@ -252,12 +252,12 @@ Installs: 5000 | Stars: 960 | Last update: 4 Feb 2022 Useful for developers who frequently read source in GitHub and do not want to download or checkout too many repositories. -Installs: 337371 | Stars: 22560 | Last update: 17 Nov 2023 +Installs: 337392 | Stars: 22563 | 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: 366 | Stars: 224 | Last update: 30 Apr 2023 +Installs: 368 | 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: 1044 | 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: 757 | Stars: 112 | Last update: 21 Jun 2023 +Installs: 758 | Stars: 112 | Last update: 21 Jun 2023 Browser extension that shows which pull requests contain changes related to a file. -Installs: 42 | Stars: 96 | Last update: 15 Oct 2020 +Installs: 40 | Stars: 96 | Last update: 15 Oct 2020 Extension that simplifies the GitHub interface and adds useful features. -Installs: 78574 | Stars: 22147 | Last update: 16 Nov 2023 +Installs: 78587 | Stars: 22152 | 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: 631 | Stars: 75 | Last update: 25 Aug 2018 +Installs: 633 | 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: 34 | Stars: n/a | Last update: 10 Aug 2020 +Installs: 33 | 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,7 +298,7 @@ The Sourcegraph browser extension gives GitHub IDE-like powers when you're viewi 4. Hover tooltips 5. File tree navigation -Installs: 101053 | Stars: 9162 | Last update: 25 Oct 2023 +Installs: 101054 | Stars: 9164 | 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: 208 | 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,7 +323,7 @@ Installs: 70000 | Stars: n/a | Last update: 16 Nov 2023 All your issues, PRs, repos and other work documents right in your new tab -Installs: 20174 | Stars: n/a | Last update: 17 Oct 2023 +Installs: 20173 | Stars: n/a | Last update: 17 Oct 2023 file tree for github, and more than that. @@ -338,7 +338,7 @@ 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: 52396 | Stars: 126 | Last update: 18 Oct 2023 +Installs: 52400 | 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. @@ -348,4 +348,4 @@ Installs: 2087 | Stars: 727 | Last update: 29 May 2023 Extends GitHub pages with math, diagrams, embedded YouTube videos etc. -Installs: 466 | Stars: 87 | Last update: 22 Aug 2023 +Installs: 467 | Stars: 87 | Last update: 22 Aug 2023 diff --git a/docs/awesome/awesome-cl.md b/docs/awesome/awesome-cl.md index 004027a6ef..2fb0c5500c 100644 --- a/docs/awesome/awesome-cl.md +++ b/docs/awesome/awesome-cl.md @@ -1046,7 +1046,7 @@ Others ### OpenAPI, OData, OpenRPC -* [openapi-generator](https://codeberg.org/kilianmh/openapi-generator) - OpenAPI client code generator. [AGPL-3.0][51]. +* NEW! [openapi-generator](https://codeberg.org/kilianmh/openapi-generator) - OpenAPI client code generator. [AGPL-3.0][51]. * Generation of OpenAPI ASDF/Quicklisp-loadable projects within one command, * Support for path, (arbitrary) query, (arbitrary) header, (json) content parameters, * Conversion of an OpenAPI spec into CLOS object -> explore API within inspector, @@ -1702,6 +1702,11 @@ Security * [cl-isolated](https://github.com/kanru/cl-isolated) - A restricted environment for Common Lisp code evaluation [AGPL-3.0][agpl3]. +System interface +-------------------- + +* [machine-state](https://github.com/Shinmera/machine-state/) - Retrieve machine state information about CPU time, memory usage, thread processing time, etc. + XML --- diff --git a/docs/awesome/awesome-cpp.md b/docs/awesome/awesome-cpp.md index 75dd6c4ffd..0a52fcaeac 100644 --- a/docs/awesome/awesome-cpp.md +++ b/docs/awesome/awesome-cpp.md @@ -1005,6 +1005,7 @@ A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny * [libenvpp](https://github.com/ph3at/libenvpp) - A modern C++ library for type-safe environment variable parsing. [Apache-2.0] * [libevil](https://github.com/avati/libevil) - The Evil License Manager. [GPLv3] * [libnih](https://github.com/keybuk/libnih) - A lightweight library of C functions and structures. [GPL2.1] +* [Libserial](https://github.com/crayzeewulf/libserial) - Serial Port Programming in C++. [BSD-3-Clause] * [libusb](https://libusb.info/) - A universal USB library which allows for portable access to USB devices. [LGPL2] * [Mach7](https://github.com/solodon4/Mach7) - A Pattern-matching library for C++. [BSD] * [mio](https://github.com/mandreyel/mio) - Cross-platform C++11 header-only library for memory mapped file IO. [MIT] diff --git a/docs/awesome/awesome-dotnet.md b/docs/awesome/awesome-dotnet.md index 4ecece62cb..36dd3f84b0 100644 --- a/docs/awesome/awesome-dotnet.md +++ b/docs/awesome/awesome-dotnet.md @@ -679,7 +679,6 @@ the Python world. It uses the Pyro protocol to call methods on remote objects. ## Markdown Processors * [MarkdownSharp](https://code.google.com/archive/p/markdownsharp) - Open source C# implementation of Markdown processor, as featured on Stack Overflow. * [F# Formatting](https://fsprojects.github.io/FSharp.Formatting/) - Tools for documenting F# and C# projects. The library contains extensible Markdown parser as a core component. -* [CommonMark.NET](https://github.com/Knagis/CommonMark.NET) - Implementation of CommonMark specification in C# for converting Markdown documents to HTML. Optimized for maximum performance and portability. * [markdig](https://github.com/lunet-io/markdig) - A fast, powerful, CommonMark compliant, extensible Markdown processor for .NET. ## Mail diff --git a/docs/awesome/awesome-functional-programming.md b/docs/awesome/awesome-functional-programming.md index 4a6b7d4452..1ff0021b65 100644 --- a/docs/awesome/awesome-functional-programming.md +++ b/docs/awesome/awesome-functional-programming.md @@ -1,23 +1,23 @@
## Awesome Functional Programming [![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome) -基于 [Awesome](https://github.com/sindresorhus/awesome/) 项目 +Based on the [Awesome](https://github.com/sindresorhus/awesome/) project ## What is this about? -在过去的十年中，函数式编程由于其 -有些人会说，声明性特征对于并行计算非常有效 -以及整个使用 [Moores Law](https://en.wikipedia.org/wiki/Moore%27s_law). +On the last decade, functional programming has gained a new found power due to its +declarative characteristics which, some would say, are very effective for parallel computing +and for the whole usage of [Moores Law](https://en.wikipedia.org/wiki/Moore%27s_law). -这个 repo 收集了一些关于函数式编程的材料，比如博客文章、论文、视频， -工具等，也旨在阐明其背后的一些理论主题. +This repo gathers some material on Functional Programming such as blog posts, papers, videos, +tools, etc. and also aims to clarify some of the theoretical subjects behind it. -想贡献吗？ 请参阅 [this](https://github.com/lucasviola/awesome-functional-programming/blob/master/contributing.md) 第一的. +Want to contribute? Please refer to [this](https://github.com/lucasviola/awesome-functional-programming/blob/master/contributing.md) first. ### Blog posts - [Personal thoughts on the current functional programming bandwagon](http://www.akitaonrails.com/2015/10/28/personal-thoughts-on-the-current-functional-programming-bandwagon) -尽管名字如此，这篇文章实际上澄清了函数式编程的一些基本概念，解释了 FP 的一些历史和 FPs 功能在命令式语言上的实现，并讨论了声明式编程的所有大惊小怪以及为什么它在最近变得如此流行几年. +Despite the name, this post actually clarifies some baisc concepts on Functional Programming, explains some of the History of FP and the implementation of FPs features on imperative languages and talks about all the fuss on declarative programming and why it has become so popular in the last few years. - [A Monad in Practicality - Controlling Time](http://robotlolita.me/2014/03/20/a-monad-in-practicality-controlling-time.html) - [A Monad in Practicality - First Class Failures](http://robotlolita.me/2013/12/08/a-monad-in-practicality-first-class-failures.html) - [How to desugar Haskell Code](http://www.haskellforall.com/2014/10/how-to-desugar-haskell-code.html) @@ -29,98 +29,99 @@ ### Papers - [Tradeoffs between Unique Types and Monads](http://lambda-the-ultimate.org/node/1180) -- [The implementation of Functional Programming Languages](http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/start.htm) - 西蒙佩顿琼斯的一篇论文 -- [Sound and Decidable Type Inference for Functional Dependencies](http://research.microsoft.com/en-us/um/people/simonpj/papers/fd-chr/esop04.pdf) - Haskell 和 GHC 的主要创建者关于类型推断的另一篇非常著名的论文 -- [Template Meta-Programming for Haskell](http://research.microsoft.com/en-us/um/people/simonpj/papers/meta-haskell/meta-haskell.pdf) - 关于在 Haskell 中编译时生成代码的论文 +- [The implementation of Functional Programming Languages](http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/start.htm) - A paper by Simon Peyton Jones +- [Sound and Decidable Type Inference for Functional Dependencies](http://research.microsoft.com/en-us/um/people/simonpj/papers/fd-chr/esop04.pdf) - Another very famous paper on Type Inference by the main creator of Haskell and GHC +- [Template Meta-Programming for Haskell](http://research.microsoft.com/en-us/um/people/simonpj/papers/meta-haskell/meta-haskell.pdf) - Paper about generating code at compile-time in Haskell - [Why Functional Programming Matters](http://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf) - [From Higher-Order Logic to Haskell: There and Back Again](http://isabelle.in.tum.de/~haftmann/pdf/from_hol_to_haskell_haftmann.pdf) - [Translating Haskell to Isabelle](http://es.cs.uni-kl.de/events/TPHOLs-2007/proceedings/B-178.pdf) ### Wikis -- [nLab](http://ncatlab.org/nlab/show/HomePage) - 一个维基实验室，其中包含从范畴论角度出发的文章、讨论和工具，范畴论是 FP 背后的主要数学. -- [Haskell/Category Theory](https://en.wikibooks.org/wiki/Haskell/Category_theory) - 从 Wikibooks 很好地概述了应用于 Haskell 的范畴论. +- [nLab](http://ncatlab.org/nlab/show/HomePage) - A wiki-lab with articles, discussion and tools from the point of view of category theory, which is the main math behind FP. +- [Haskell/Category Theory](https://en.wikibooks.org/wiki/Haskell/Category_theory) - A good overview on Category Theory applied to Haskell from Wikibooks. - [Haskell Wiki](https://wiki.haskell.org/Haskell) ### Books -- [Learn you a Haskell](http://learnyouahaskell.com/) - 书籍，但您也可以免费在线阅读. 非常适合初学者. -- [The Little Prover](https://books.google.com.br/books?id=I9E_CgAAQBAJ&pg=PR13#v=onepage&q&f=false) - 谈到 -一个名为 JBob 的定理证明器，用于在 LISP 中编写证明. -- [Isabelle/HOL - A Proof Assistant for Higher-Order Logic](http://isabelle.in.tum.de/doc/tutorial.pdf) - 一本关于在 Isabelle/HOL 中实现逻辑形式主义的书. -- [The Little MLer](http://www.ccs.neu.edu/home/matthias/BTML/) - 一本专注于标准 ML 中的教学类型、递归思维和其他重要主题的书. -- [Introduction to Programming using SML](http://catalogue.pearsoned.co.uk/educator/product/Introduction-to-Programming-using-SML/9780201398205.page) - 以非常数学的方式向您介绍编程设计. +- [Learn you a Haskell](http://learnyouahaskell.com/) - Book, but you can read it online for free as well. Very beginner friendly. +- [The Little Prover](https://books.google.com.br/books?id=I9E_CgAAQBAJ&pg=PR13#v=onepage&q&f=false) - Talks about +a theorem prover called JBob for writing proofs in LISP. +- [Isabelle/HOL - A Proof Assistant for Higher-Order Logic](http://isabelle.in.tum.de/doc/tutorial.pdf) - A Book on implementing logical formalisms in Isabelle/HOL. +- [The Little MLer](http://www.ccs.neu.edu/home/matthias/BTML/) - A book focused on teaching types, recursive thinking and other important subjects in Standard ML. +- [Introduction to Programming using SML](http://catalogue.pearsoned.co.uk/educator/product/Introduction-to-Programming-using-SML/9780201398205.page) - Introduces you to programming design in a very mathematical way. - [How to Design Programs](http://www.htdp.org/) / [Second Edition](http://www.ccs.neu.edu/home/matthias/HtDP2e/) - [Introduction to Functional Programming](http://www.amazon.com/Introduction-Functional-Programming-International-Computing/dp/0134841891) -- [Haskell in Depth](https://www.manning.com/books/haskell-in-depth) - 关于 Haskell 的完美第二本书，深入探讨了示例和应用场景，旨在教授 Haskell 的工作原理以及如何正确应用它. -- [Grokking Simplicity: Taming complex software with functional thinking](https://www.manning.com/books/grokking-simplicity) - 使用真实场景从第一原理开始教授函数式编程. -- [Functional Programming in Scala, Second Edition](https://www.manning.com/books/functional-programming-in-scala-second-edition) - 修订了国际畅销书，增加了新的练习、注释和对 Scala 3 的全面覆盖. +- [Haskell in Depth](https://www.manning.com/books/haskell-in-depth) - the perfect second book on Haskell which dives into examples and application scenarios designed to teach how Haskell works and how to apply it correctly. +- [Grokking Simplicity: Taming complex software with functional thinking](https://www.manning.com/books/grokking-simplicity) - Teaches functional programming from first principles using real-world scenarios. +- [Functional Programming in Scala, Second Edition](https://www.manning.com/books/functional-programming-in-scala-second-edition) - International bestseller revised with new exercises, annotations, and full coverage of Scala 3. - [Functional Programming in C#, Second Edition](https://www.manning.com/books/functional-programming-in-c-sharp-second-edition) - Real world examples and practical techniques for functional programming in C#. -- [Grokking Functional Programming](https://www.manning.com/books/grokking-functional-programming) - 函数式编程简介. -- [Functional Programming in Kotlin](https://www.manning.com/books/functional-programming-in-kotlin) - 掌握函数式编程的技术和概念，以交付更安全、更简单、更有效的 Kotlin 代码. -- [Functional Design and Architecture](https://www.manning.com/books/functional-design-and-architecture) - 使用函数式编程构建生产质量应用程序的设计模式和架构，以及 Haskell 和其他 FP 语言的示例. -- [Haskell Bookcamp](https://www.manning.com/books/haskell-bookcamp) - 在本书中，您将获得编写 Haskell 代码并将函数式编程应用于实际开发挑战的实践经验. -- [Mastering Functional Programming](https://www.perlego.com/book/800653/mastering-functional-programming-functional-techniques-for-sequential-and-parallel-programming-with-scala-pdf) - 如果你有命令式和 OOP 背景，无论你使用哪种编程语言，本书都将引导你穿越函数式编程的世界. -- [Jax in Action](https://www.manning.com/books/jax-in-action) - 一本关于 JAX 数值计算库的书. -- [Learn PowerShell Scritping in a Month of Lunches](https://www.manning.com/books/learn-powershell-scripting-in-a-month-of-lunches-second-edition) - 使用 PowerShell 脚本自动执行复杂的任务和流程. +- [Grokking Functional Programming](https://www.manning.com/books/grokking-functional-programming) - Introduction to functional programming. +- [Functional Programming in Kotlin](https://www.manning.com/books/functional-programming-in-kotlin) - Master techniques and concepts of functional programming to deliver safer, simpler, and more effective Kotlin code. +- [Functional Design and Architecture](https://www.manning.com/books/functional-design-and-architecture) - Design patterns and architectures for building production quality applications using functional programming, with examples in Haskell and other FP languages. +- [Haskell Bookcamp](https://www.manning.com/books/haskell-bookcamp) - In this book, you’ll get practical experience writing Haskell code and applying functional programming to actual development challenges. +- [Mastering Functional Programming](https://www.perlego.com/book/800653/mastering-functional-programming-functional-techniques-for-sequential-and-parallel-programming-with-scala-pdf) - If you are from an imperative and OOP background, this book will guide you through the world of functional programming, irrespective of which programming language you use. +- [Jax in Action](https://www.manning.com/books/jax-in-action) - A book about The JAX numerical computing library. +- [Learn PowerShell Scritping in a Month of Lunches](https://www.manning.com/books/learn-powershell-scripting-in-a-month-of-lunches-second-edition) - Automate complex tasks and processes with PowerShell scripts. - [F# in Action](https://www.manning.com/books/f-sharp-in-action) - Book about practical F# development skills needed to create professional applications. - [Elixir in Action, Third Edition](https://www.manning.com/books/elixir-in-action-third-edition) - Fully updated to Elixir 1.14, this authoritative bestseller reveals how Elixir tackles problems of scalability, fault tolerance, and high availability. ### Communities -- [Lambda the Ultimate](http://lambda-the-ultimate.org/) - 专注于讨论研究、论文的社区 -和学术界的热门话题. 非常高的技术讨论水平. -- [FP Complete](https://www.fpcomplete.com/) - 专注于帮助公司和学生学习和实施 Haskell 函数式编程的社区. 最著名的 Haskell 学习中心之一的主办方： [School of Haskell](https://www.schoolofhaskell.com/school) -- [Haskellers](http://www.haskellers.com/) - Haskell 程序员的聚会点 -- [ElixirLangMoscow](http://elixir-lang.moscow/) - 俄罗斯 Elixir 社区 +- [Lambda the Ultimate](http://lambda-the-ultimate.org/) - Community focused on discussing researches, papers +and hot topic on academia. Very high tech discussion level. +- [FP Complete](https://www.fpcomplete.com/) - Community focused on helping companies and students on learning and implementing Functional Programming in Haskell. Hosters of one of the most famous Haskell learning centers: [School of Haskell](https://www.schoolofhaskell.com/school) +- [Haskellers](http://www.haskellers.com/) - The meeting point for Haskell Programmers +- [ElixirLangMoscow](http://elixir-lang.moscow/) - Russian Elixir community ### Discussions (Quora, Stack Overflow, Reddit, etc) - [Why dont more programmers use Haskell](https://www.quora.com/Why-dont-more-programmers-use-Haskell) - [Hidden complexities of tail-call/tail-recursion optimization](http://lambda-the-ultimate.org/classic/message1532.html) ### Videos -- [Dont fear the Monad](https://www.youtube.com/watch?v=ZhuHCtR3xq8) - 解释 -Microsoft 研究员 Brian Beckman 提出的函数式编程中最晦涩的主题之一. -- [Haskell is useless](https://www.youtube.com/watch?v=iSmkqocn0oQ) - 西蒙·佩顿·琼斯 -对他的创作太谦虚了. +- [Dont fear the Monad](https://www.youtube.com/watch?v=ZhuHCtR3xq8) - Explanation on +one of the most obscure topics of Functional Programming by Microsoft researcher Brian Beckman. +- [Haskell is useless](https://www.youtube.com/watch?v=iSmkqocn0oQ) - Simon Peyton Jones being +just too humble about his creation. - [Brian Beckman: The Zen of Stateless State](https://www.youtube.com/watch?v=XxzzJiXHOJs) - [Erik Meijer: Functional Programming](https://www.youtube.com/watch?v=z0N1aZ6SnBk) - [Scala Monads: Declutter Your Code With Monadic Design](https://www.youtube.com/watch?v=Mw_Jnn_Y5iA) - [Philip Wadler and Erik Meijer: On Programming Language Theory and Practice](https://www.youtube.com/watch?v=9SBR_SnrEiI) -- [Kotlin for Android & Java Developers](https://www.manning.com/livevideo/kotlin-for-android-and-java-developers) - 关于 Kotlin 的实时视频课程：函数式编程、面向对象和在 Kotlin 中构建 Android 应用程序. -- [Do we really need OOD and FDD?](https://www.youtube.com/watch?v=KW9U6HMKEgk) - 与面向对象设计 (OOD) 相对的功能声明式设计 (FDD) +- [Kotlin for Android & Java Developers](https://www.manning.com/livevideo/kotlin-for-android-and-java-developers) - LiveVideo course about Kotlin: functional programming, object orientation and building an Android app in Kotlin. +- [Do we really need OOD and FDD?](https://www.youtube.com/watch?v=KW9U6HMKEgk) - Functional Declarative Design (FDD) opposed to Object-Oriented Design (OOD +* [Functional Programming with TypeScript](https://www.youtube.com/playlist?list=PLuPevXgCPUIMbCxBEnc1dNwboH6e2ImQo) - Discover functional programming with Typescript and create a library like fp-ts alongside Sahand Javid in this beginner-friendly YouTube playlist. ### Lectures -- [C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals](https://www.youtube.com/playlist?list=PLTA0Ta9Qyspa5Nayx0VCHj5AHQJqp1clD) - 来自 Haskell 的一位创始人的系列讲座 -- [Adventure with types in Haskell - Simon Peyton Jones](https://www.youtube.com/watch?v=6COvD8oynmI&list=RD6COvD8oynmI#t=0) - Simon Peyton Jones 关于 Haskell 强类型系统的讲座. -- [The Algebra of Algebraic Data Types](https://www.youtube.com/watch?v=YScIPA8RbVE) - 很好的解释 -关于数学和代数数据类型之间的关系，代数数据类型是一些非常常见的 FP 语言（例如 Haskell 和 ML）的类型系统. +- [C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals](https://www.youtube.com/playlist?list=PLTA0Ta9Qyspa5Nayx0VCHj5AHQJqp1clD) - Series of Lectures from one of the creators of Haskell +- [Adventure with types in Haskell - Simon Peyton Jones](https://www.youtube.com/watch?v=6COvD8oynmI&list=RD6COvD8oynmI#t=0) - Lectures about Haskells strong Type System by Simon Peyton Jones. +- [The Algebra of Algebraic Data Types](https://www.youtube.com/watch?v=YScIPA8RbVE) - Very good explanation +on the relationship between math and Algebraic Data Types, which is the Type System of some very common FP Languages such as Haskell and ML. ### Platforms - - [Paqmind.com] – 学习和改进编程的指南和挑战. 所有内容都是面向 CS 和 FP 的. +- [Paqmind.com] – Guides and challenges to learn and improve in programming. All content is CS and FP oriented. ### Tools -- [Isabelle/HOL](https://www.cl.cam.ac.uk/research/hvg/Isabelle/) - 基于高阶逻辑的通用证明助手 +- [Isabelle/HOL](https://www.cl.cam.ac.uk/research/hvg/Isabelle/) - Generic proof assistant based on Higher Order Logic ### Repos -- [Idris Koans](https://github.com/idris-hackers/idris-koans) - 伊德里斯教学项目. 具有依赖类型的通用函数式编程 -- [Functional Javascript Workshop](https://github.com/timoxley/functional-javascript-workshop) - 一个功能性的 Javascript 研讨会. -- [J-Bob](https://github.com/the-little-prover/j-bob) - 《小小证明者》一书中的证明助手 -- [Haskell Must Watch](https://github.com/olehkuchuk/haskell-must-watch) - 关于 Haskell 的视频、讲座和课程列表. -- [Intro SML](http://www.it.dtu.dk/introSML/) - 本书的代码、更正和信息：`Introduction to Programming using SML` -- [Functional Programming In JavaScript](https://github.com/busypeoples/functional-programming-javascript) - JavaScript 函数式编程资源列表. -- [Functional Programming Jargon](https://github.com/hemanth/functional-programming-jargon) - 为 FP 提供词汇表的项目，让学习 FP 更容易. -- [Bow](https://github.com/bow-swift/bow) - Swift 中类型化函数式编程的配套库. -- [Parsing With Haskell Parser Combinators](https://github.com/lettier/parsing-with-haskell-parser-combinators) - 使用 Haskell 解析器组合器进行解析的分步指南. +- [Idris Koans](https://github.com/idris-hackers/idris-koans) - Project for teaching Idris. A General Purpose Functional Programming with Dependent Types +- [Functional Javascript Workshop](https://github.com/timoxley/functional-javascript-workshop) - A functional Javascript workshop. +- [J-Bob](https://github.com/the-little-prover/j-bob) - The proof assistant from the book `The Little Prover` +- [Haskell Must Watch](https://github.com/olehkuchuk/haskell-must-watch) - A list of videos, talks and courses on Haskell. +- [Intro SML](http://www.it.dtu.dk/introSML/) - Code, corrections and info on the book: `Introduction to Programming using SML` +- [Functional Programming In JavaScript](https://github.com/busypeoples/functional-programming-javascript) - List of functional programming resources in JavaScript. +- [Functional Programming Jargon](https://github.com/hemanth/functional-programming-jargon) - Project for providing a glossary for FP, and make learning FP easier. +- [Bow](https://github.com/bow-swift/bow) - Companion library for Typed Functional Programming in Swift. +- [Parsing With Haskell Parser Combinators](https://github.com/lettier/parsing-with-haskell-parser-combinators) - A step-by-step guide to parsing using Haskell parser combinators. ### People -- [Simon Peyton Jones](http://research.microsoft.com/en-us/people/simonpj/) - Haskell 语言和格拉斯哥 Haskell 编译器的创建者之一. 微软研究员. -- [Philip Wadler](http://homepages.inf.ed.ac.uk/wadler/) - 爱丁堡大学理论计算机科学教授，著名论文 Propositions as Types 的作者. Java 泛型类型背后的主要人物之一. -- [Matthias Felleisen](http://www.ccs.neu.edu/home/matthias/) - 多本书的作者，如如何设计程序和小策划者. -- [Erik Meijer](https://www.linkedin.com/pub/erik-meijer/0/5ba/924) - 前微软软件架构师，函数式编程研究员，讲授函数式编程、软件设计和响应式编程. +- [Simon Peyton Jones](http://research.microsoft.com/en-us/people/simonpj/) - One of the creators of the Haskell Language and the Glasgow Haskell Compiler. Microsoft Researcher. +- [Philip Wadler](http://homepages.inf.ed.ac.uk/wadler/) - Professor of Theoretical Computer Science at the University of Edinburgh, author of the famous paper Propositions as Types. One of the main people behind Java Generics Types. +- [Matthias Felleisen](http://www.ccs.neu.edu/home/matthias/) - Author of many books such as How to Design Programs, and The Little Schemer. +- [Erik Meijer](https://www.linkedin.com/pub/erik-meijer/0/5ba/924) - Former software architect for Microsoft, Functional Programming researcher, gives lectures on FP, Software Design and Reactive programming. - [Brian Beckman](https://www.linkedin.com/in/brianbeckman) - Former Microsoft Researcher, actual Software Engineer at Amazon. Contributed to implementing FP features to inumerous Microsoft technologies such as C#, LINQ and F# ### License [![CC0](https://i.creativecommons.org/p/zero/1.0/88x31.png)](https://creativecommons.org/publicdomain/zero/1.0/) -在法律允许的范围内， [Lucas Viola](http://lucasviola.github.io) 已放弃该作品的所有版权和相关或邻接权. +To the extent possible under law, [Lucas Viola](http://lucasviola.github.io) has waived all copyright and related or neighboring rights to this work. diff --git a/docs/awesome/awesome-mac.md b/docs/awesome/awesome-mac.md index 3981c6f00b..9f19618b4c 100644 --- a/docs/awesome/awesome-mac.md +++ b/docs/awesome/awesome-mac.md @@ -756,7 +756,7 @@ Any comments, suggestions? [Let us know!](https://github.com/jaywcjlove/awesome- *(Or you could just use the Mac OS built-in dictionary)* * [DeepL](https://www.deepl.com/en/app/) - Best quality translations ![Freeware][Freeware Icon] -* [Easydict](http://www.eudic.net/eudic/mac_dictionary.aspx) - Easy to look up words or translate text [![Open-Source Software][OSS Icon]](https://github.com/learn-anything/safari-extensions#readme) +* [Easydict](https://github.com/tisfeng/Easydict) - Easy to look up words or translate text [![Open-Source Software][OSS Icon]](https://github.com/tisfeng/Easydict) * [Grammarly](https://app.grammarly.com/) - Refine your english * [iTranslate](http://www.itranslate.com/) - Translate entire website instantly with its built-in browser or with iTranslate Safari extension into over 40 languages. ![Freeware][Freeware Icon] * [Lingvanex](https://lingvanex.com) ![Freeware][Freeware Icon] diff --git a/docs/awesome/awesome-neovim.md b/docs/awesome/awesome-neovim.md index 230d8ae83b..1be2686ee1 100644 --- a/docs/awesome/awesome-neovim.md +++ b/docs/awesome/awesome-neovim.md @@ -437,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) - Ultra colors all-in-one! It weekly collect and update the most popurlar colorschemes, install them via git submodules instead of copy-paste source code, and allow you do any switches with multiple policies and timings. +- [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. ## Bars and Lines @@ -882,6 +882,7 @@ These colorschemes may not specialize in Tree-sitter directly but are written in - [chrisgrieser/nvim-puppeteer](https://github.com/chrisgrieser/nvim-puppeteer) - Automatically convert strings to f-strings or template strings and back. - [nat-418/boole.nvim](https://github.com/nat-418/boole.nvim) - Toggle booleans and common string values. - [cshuaimin/ssr.nvim](https://github.com/cshuaimin/ssr.nvim) - Treesitter-based structural search and replace. +- [Jxstxs/conceal.nvim](https://github.com/Jxstxs/conceal.nvim) - Use Tree-sitter to conceal common boilerplate code. ### Comment diff --git a/docs/awesome/awesome-selfhosted.md b/docs/awesome/awesome-selfhosted.md index bc7d7b42dc..b810f0aa6b 100644 --- a/docs/awesome/awesome-selfhosted.md +++ b/docs/awesome/awesome-selfhosted.md @@ -110,7 +110,6 @@ _Related: [Internet of Things (IoT)](#internet-of-things-iot), [Software Develop - [MeTube](https://github.com/alexta69/metube) - Web GUI for youtube-dl, with playlist support. Allows downloading videos from dozens of websites. `AGPL-3.0` `Python/Nodejs/Docker` - [nefarious](https://github.com/lardbit/nefarious) - Web application that automates downloading Movies and TV Shows. `GPL-3.0` `Python` - [OliveTin](https://github.com/OliveTin/OliveTin) - OliveTin is a web interface for running Linux shell commands. `AGPL-3.0` `Go` -- [Patrowl](https://github.com/Patrowl/PatrowlManager) - Open Source, Smart and Scalable Security Operations Orchestration Platform. `AGPL-3.0` `Python` - [pyLoad](https://pyload.net/) - Lightweight, customizable and remotely manageable downloader for 1-click-hosting sites like rapidshare.com or uploaded.to. ([Source Code](https://github.com/pyload/pyload)) `GPL-3.0` `Python` - [Radarr](https://radarr.video/) - Radarr is an independent fork of Sonarr reworked for automatically downloading movies via Usenet and BitTorrent, à la Couchpotato. ([Source Code](https://github.com/Radarr/Radarr)) `GPL-3.0` `C#/Docker` - [SickChill](https://sickchill.github.io/) - SickChill is an automatic video library manager for TV shows. It watches for new episodes of your favorite shows, and when they are posted it does its magic. ([Source Code](https://github.com/SickChill/SickChill)) `GPL-3.0` `Python/Docker` @@ -487,7 +486,6 @@ _Related: [Conference Management](#conference-management)_ - [MiroTalk P2P](https://p2p.mirotalk.com) - Simple, secure, fast real-time video conferences up to 4k and 60fps, compatible with all browsers and platforms. ([Demo](https://p2p.mirotalk.com/newcall), [Source Code](https://github.com/miroslavpejic85/mirotalk)) `AGPL-3.0` `Nodejs/Docker` - [MiroTalk SFU](https://sfu.mirotalk.com) - Simple, secure, scalable real-time video conferences up to 4k, compatible with all browsers and platforms. ([Demo](https://sfu.mirotalk.com/newroom), [Source Code](https://github.com/miroslavpejic85/mirotalksfu)) `AGPL-3.0` `Nodejs/Docker` - [plugNmeet](https://www.plugnmeet.org/) - Scalable, High Performance, Open source web conferencing system. ([Demo](https://demo.plugnmeet.com/login.html), [Source Code](https://github.com/mynaparrot/plugNmeet-server)) `MIT` `Docker/Go` -- [Wirow](https://github.com/wirow-io/wirow-server) - A full featured self-hosted video web-conferencing platform. `AGPL-3.0` `Docker/C` ### Communication - XMPP - Servers @@ -569,7 +567,6 @@ _Related: [Blogging Platforms](#blogging-platforms), [Static Site Generators](#s - [Drupal](https://www.drupal.org/) - Advanced open source content management platform. ([Source Code](https://git.drupalcode.org/project/drupal)) `GPL-2.0` `PHP` - [eLabFTW](https://www.elabftw.net) - Online lab notebook for research labs. Store experiments, use a database to find reagents or protocols, use trusted timestamping to legally timestamp an experiment, export as pdf or zip archive, share with collaborators…. ([Demo](https://demo.elabftw.net), [Source Code](https://github.com/elabftw/elabftw)) `AGPL-3.0` `PHP` - [Expressa](https://github.com/thomas4019/expressa) - Content Management System for powering database driven websites using JSON schemas. Provides permission management and automatic REST APIs. `MIT` `Nodejs` -- [Flextype](https://flextype.org/) - Flextype is an open-source Hybrid Content Management System with the freedom of a headless CMS and with the full functionality of a traditional CMS. ([Source Code](https://github.com/flextype/flextype)) `MIT` `PHP` - [Joomla!](https://www.joomla.org/) - Advanced Content Management System (CMS). ([Source Code](https://github.com/joomla/joomla-cms)) `GPL-2.0` `PHP` - [KeystoneJS](https://keystonejs.com/) - CMS and Web Application Platform. ([Source Code](https://github.com/keystonejs/keystone)) `MIT` `Nodejs` - [MODX](https://modx.com/) - MODX is an advanced content management and publishing platform. The current version is called 'Revolution'. ([Source Code](https://github.com/modxcms/revolution)) `GPL-2.0` `PHP` @@ -577,7 +574,6 @@ _Related: [Blogging Platforms](#blogging-platforms), [Static Site Generators](#s - [Noosfero](https://gitlab.com/noosfero/noosfero) - Noosfero is a web platform for social and solidarity economy networks with blog, e-Portfolios, CMS, RSS, thematic discussion, events agenda and collective intelligence for solidarity economy in the same system. `AGPL-3.0` `Ruby` - [Omeka](https://omeka.org) - Create complex narratives and share rich collections, adhering to Dublin Core standards with Omeka on your server, designed for scholars, museums, libraries, archives, and enthusiasts. ([Demo](https://omeka.org/classic/showcase/), [Source Code](https://github.com/omeka/Omeka)) `GPL-3.0` `PHP` - [Payload CMS](https://payloadcms.com/) - Developer-first headless CMS and application framework. ([Demo](https://demo.payloadcms.com), [Source Code](https://github.com/payloadcms/payload)) `MIT` `Nodejs` -- [Pico](https://picocms.org/) - Stupidly simple, blazing fast, flat file CMS. ([Source Code](https://github.com/picocms/Pico)) `MIT` `PHP` - [Pimcore](https://www.pimcore.org/) - Multi-Channel Experience and Engagement Management Platform. ([Source Code](https://github.com/pimcore/pimcore)) `GPL-3.0` `PHP/Docker` - [Plone](https://plone.org/) - Powerful open-source CMS system. ([Source Code](https://github.com/plone)) `ZPL-2.0` `Python/Docker` - [PropertyWebBuilder](https://propertywebbuilder.com) - Ultimate Ruby on Rails engine for creating real estate websites. ([Source Code](https://github.com/etewiah/property_web_builder)) `MIT` `Ruby` @@ -671,7 +667,6 @@ A [document management system](https://en.wikipedia.org/wiki/Document_management - [Kavita](https://www.kavitareader.com/) - Cross-platform e-book/manga/comic/pdf server and web reader with user management, ratings and reviews, and metatdata support. ([Demo](https://wiki.kavitareader.com/en/kavita-demo), [Source Code](https://github.com/Kareadita/Kavita)) `GPL-3.0` `.NET/Docker` - [Komga](https://komga.org) - Media server for comics/mangas/BDs with API and OPDS support, a modern web interface for exploring your libraries, as well as a web reader. ([Source Code](https://github.com/gotson/komga)) `MIT` `Java/Docker` - [Librum](https://librumreader.com) - A modern e-book reader and library manager that supports most major book formats, runs on all devices and offers great tools to boost productivity. ([Source Code](https://github.com/Librum-Reader/Librum)) `GPL-3.0` `C++` -- [Mango](https://github.com/getmango/Mango) - Manga server and web reader with a built-in MangaDex downloader. `MIT` `Crystal/Docker` - [Stump](https://www.stumpapp.dev) - A fast, free and open source comics, manga and digital book server with OPDS support. ([Source Code](https://github.com/stumpapp/stump)) `MIT` `Rust` - [The Epube](https://tt-rss.org/the-epube) - Self-hosted web EPUB reader using EPUB.js, Bootstrap, and Calibre. ([Source Code](https://git.tt-rss.org/fox/the-epube)) `GPL-3.0` `PHP` @@ -1243,7 +1238,6 @@ Software that does not fit in another section. - [NATS](https://nats.io/) - Publish/Subscribe event bus, durable queues, key-value store, object store, and more. Native multi-tenancy, multiple authentication and authorization mechanisms. Easy to self-host and federate. ([Source Code](https://github.com/nats-io/nats-server), [Clients](https://github.com/nats-io)) `Apache-2.0` `Go/deb/Docker/K8S` - [Neko](https://neko.m1k1o.net) - A self hosted virtual browser (rabb.it clone) that runs in Docker. ([Source Code](https://github.com/m1k1o/neko)) `Apache-2.0` `Docker/Go` - [Noisedash](https://github.com/kaythomas0/noisedash) - Self-hostable web tool for generating ambient noises/sounds using audio tools and user-uploadable samples. `AGPL-3.0` `Nodejs/Docker` -- [Notica](https://notica.us) - Lets you send browser notifications from your terminal to your desktop or phone. No installation or registration is required. ([Source Code](https://github.com/tannercollin/Notica)) `MIT` `Nodejs` - [Octave Online](https://octave-online.net/) - Infrastracture behind a web UI for GNU Octave (alternative to MATLAB). ([Source Code](https://github.com/octave-online/octave-online-server)) `AGPL-3.0` `Docker/Nodejs` - [Ombi](https://ombi.io/) - A content request system for Plex/Emby, connects to SickRage, CouchPotato, Sonarr, with a growing feature set. ([Demo](https://app.ombi.io/), [Source Code](https://github.com/Ombi-app/Ombi)) `GPL-2.0` `C#/deb` - [Open-Meteo](https://open-meteo.com/) - Open-source weather API with open-data forecasts, historical and climate data from all major national weather services. ([Demo](https://open-meteo.com/en/docs), [Source Code](https://github.com/open-meteo/open-meteo)) `AGPL-3.0` `Docker` @@ -1426,7 +1420,6 @@ Dashboards for accessing information and applications. _Related: [Monitoring](#monitoring), [Bookmarks and Link Sharing](#bookmarks-and-link-sharing)_ -- [Dashboard](https://github.com/phntxx/dashboard) - Minimalist homepage for organizing your web applications and bookmarks using JSON-files. `MIT` `Nodejs/Docker` - [Dashy](https://github.com/lissy93/dashy) - Feature-rich homepage for your homelab, with easy YAML configuration. ([Demo](https://demo.dashy.to/)) `MIT` `Nodejs/Docker` - [envlinks](https://github.com/maxhollmann/envlinks) - A minimalist link dashboard showing links from environment variables. ([Demo](https://envlinks-demo.vercel.app/)) `MIT` `Docker` - [Fenrus](https://github.com/revenz/fenrus) - A self hosted personal home page that allows for multiple users, guest access and multiple dashboards for each user. It also has "Smart Apps" which display live data for those apps. `GPL-3.0` `.NET/Docker` @@ -1529,7 +1522,6 @@ _Related: [Web Servers](#web-servers)_ Software and tools for managing [recipes](https://en.wikipedia.org/wiki/Recipe). - [Bar Assistant](https://github.com/karlomikus/bar-assistant) - Bar assistant is a self hosted application for managing your home bar. It allows you to add your ingredients, search for cocktails and create custom cocktail recipes. ([Demo](https://bar.karlomikus.com/)) `MIT` `PHP/Docker` -- [kcal](https://github.com/kcal-app/kcal) - Track nutritional information about foods and recipes, set goals, and record a food journal to help along the way. Kcal is a personal system that focuses on direct control of inputs and a minimal, easy to use recipe presentation for preparing meals. `MPL-2.0` `PHP/Docker` - [KitchenOwl](https://tombursch.github.io/kitchenowl/) - A cross-platform shopping list, recipe storage, expense tracker, and meal planner following the material design language. ([Source Code](https://github.com/TomBursch/kitchenowl)) `AGPL-3.0` `Docker/deb` - [Mealie](https://nightly.mealie.io/) - Material design inspired recipe manager with category and tag management, shopping-lists, meal-planner, and site customizations. Mealie is focused on simple user interactions to keep the whole family using the app. ([Source Code](https://github.com/mealie-recipes/mealie)) `MIT` `Python` - [RecipeSage](https://github.com/julianpoy/recipesage) - A recipe keeper, meal plan organizer, and shopping list manager that can import recipes directly from any URL. ([Demo](https://recipesage.com)) `AGPL-3.0` `Nodejs` @@ -1963,7 +1955,6 @@ _See also: [Wikimatrix](https://www.wikimatrix.org/), [List of wiki software - W - [Otter Wiki](https://github.com/redimp/otterwiki) - Simple, easy to use wiki software using markdown. `MIT` `Docker` - [Outline](https://www.getoutline.com/) `⚠` - An open, extensible, wiki for your team. ([Source Code](https://github.com/outline/outline)) `BSD-3-Clause` `Nodejs/Docker` - [Pepperminty Wiki](https://github.com/sbrl/Pepperminty-Wiki) - Complete markdown-powered wiki contained in a single PHP file. ([Demo](https://starbeamrainbowlabs.com/labs/peppermint/build/)) `MPL-2.0` `PHP` -- [PineDocs](https://github.com/xy2z/PineDocs) - Simple, fast, customizable and lightweight site for browsing files. `GPL-3.0` `PHP/Docker` - [PmWiki](https://www.pmwiki.org) - Wiki-based system for collaborative creation and maintenance of websites. `GPL-3.0` `PHP` - [Raneto](https://raneto.com/) - Raneto is an open source Knowledgebase platform that uses static Markdown files to power your Knowledgebase. ([Source Code](https://github.com/ryanlelek/Raneto)) `MIT` `Nodejs` - [TiddlyWiki](https://tiddlywiki.com/) - Reusable non-linear personal web notebook. ([Source Code](https://github.com/Jermolene/TiddlyWiki5)) `BSD-3-Clause` `Nodejs` diff --git a/docs/awesome/awesome-slack.md b/docs/awesome/awesome-slack.md index 9fc39434bd..a672586b46 100644 --- a/docs/awesome/awesome-slack.md +++ b/docs/awesome/awesome-slack.md @@ -1,73 +1,157 @@ -
-## Awesome Slack Communities [![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome) -[![Build Status](https://api.travis-ci.org/filipelinhares/awesome-slack.svg)](https://travis-ci.org/filipelinhares/awesome-slack) - -A list of communities about web development and design that are powered by **Slack**. - -## What's Slack -> Slack is a platform for team communication: everything in one place, instantly searchable, available wherever you go. *- slack.com* - - -## Development -- [Ember](https://ember-community-slackin.herokuapp.com/) -- [Laravel](https://larachat.co/) -- [Ruby](https://rubydevelopers.typeform.com/to/l7WVWl) -- [Front end](https://frontenddevelopers.org/) -- [Android](https://androidchat.co/) -- [GO](https://docs.google.com/forms/d/e/1FAIpQLScNsNXbz2SCLH5hVNoZS0C70nPAXv730SW9F3K1g6iVvlcUTg/viewform?fbzx=4754263898376949596) -- [PHP Chat](https://phpchat.co) -- [Clojure](http://clojurians.net/) -- [iOS Developers](https://ios-developers.io/) -- [Elixir](https://elixir-slackin.herokuapp.com/) -- [slashrocket](https://slashrocket.io/) -- [Cordova](http://slack.cordova.io/) -- [Python Community](https://pythoncommunity.herokuapp.com/) -- [CFML/ColdFusion](https://cfml-slack.herokuapp.com/) - - -## Regional -- [Australia & New Zealand](http://devanz.co) -- [Les Pitonneux - Montreal QC Canada](https://pitonneux.slack.com) -- [Python Brazilian Community](http://slack-pythonbrasil.herokuapp.com/) -- [Remote workers in Romania](https://github.com/filipelinhares/awesome-slack/blob/master/weworkremotely.slack.com/) -- [Russian-speaking developers community](https://rusdevs.herokuapp.com/) -- [Kazan Developers](https://devkzn.slack.com/) -- [Polish developers](http://slackin.devstyle.pl/) -- [Spanish-speaking developer communities list](https://github.com/comunidad-tecnologica/awesome-spanish-slack-dev-groups) -- [Ruby Turkey Community](https://rubytr.herokuapp.com/) -- [Rochester NY USA Developers (RocDev)](https://rocdev.org/) -- [Vancouver Developers (yvrdev)](https://yvrdev.slack.com/) - -## Design -- [Sketch](http://teamsketch.io/) -- [Design Talks](https://docs.google.com/forms/d/e/1FAIpQLSeKT_LC8kKTzJ4JjmgVQVpfl24i1qBkjJ7TYyQcNHL7fBQkYQ/viewform?c=0&w=1) -- [Designer Hangout](https://www.designerhangout.co/) - -## Misc -- [WordPress](https://make.wordpress.org/chat/) -- [Chit Chats](http://www.chitchats.co/) -- [The Evangelist Collective](https://github.com/evangelistcollective/) -- [Psychedelic Chat](http://psychedelicchat.com/) -- [LGBTQ in Technology](https://lgbtq.technology/) -- [#Startup](http://startup.chat) -- [Safelight](http://safelight.herokuapp.com/) - Photography. -- [DFIR Community](https://rishi28.typeform.com/to/sTbTI8) - Information Security. -- [First Contributors](https://firstcontributors.slack.com/join/shared_invite/enQtNjkxNzQwNzA2MTMwLTVhMWJjNjg2ODRlNWZhNjIzYjgwNDIyZWYwZjhjYTQ4OTBjMWM0MmFhZDUxNzBiYzczMGNiYzcxNjkzZDZlMDM#/) - Help / mentorship for open source contributors. -- [IT Pro Community](https://www.electric.ai/it-pro-slack) - Connect and network with IT practitioners and decision-makers -- [SaaS Community](https://join.slack.com/t/saas-hgv7803/shared_invite/zt-qwvrywyr-8DmSpEzBiSWD2WQuB9r9pw) - Community for SaaS product builders, to discuss the challenges involved. -- [Developer Marketing](https://marketingto.dev/) - Passionate marketing folks working in API Marketing, developer tooling, or actively marketing to developers. - -## DevOps -- [Google Cloud Platform](http://bit.ly/gcp-slack) -- [Kubernetes](http://slack.kubernetes.io/) -- [DevOps](https://devopschat.co/) -- [Devop Engineers](https://www.devopsengineers.com/) -- [SweetOps](https://slack.cloudposse.com/) -## Looking for more lists like that -- [Awesome Community](https://github.com/phpearth/awesome-community) - -## Contribute -Your contributions and suggestions are :heart: welcome. Ensure to read the [guidelines](https://github.com/filipelinhares/awesome-slack/blob/master/CONTRIBUTING.md) first. - -## License -[![CC0](http://mirrors.creativecommons.org/presskit/buttons/88x31/svg/cc-zero.svg)](https://creativecommons.org/publicdomain/zero/1.0/) +
+[![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome) + +

+ Logo +

+ +

+

Awesome Slack

+

+ +

+ A curated list of awesome, Slack-related things. +

+ +*** + +An avid Slack user? A developer looking for awesome tools to build out an integration? Just looking for inspiration? This is a list of all the best things Slack. + + +## :pencil:   Lists +- [Community-Built Libraries](https://api.slack.com/community) - Slack-curated list of community open-source libraries +- [Slack App Directory](https://slack.com/apps) - Official directory of publicly available Slack apps +- [Slack Emojis](https://emoji.gg) - Unofficial directory of custom emojis for Slack + +## :art:   Themes + +- [Slack Themes](http://slackthemes.net/) - A Slack sidebar theme browser +- [Sweet Themes Are Made of These](http://sweetthemesaremadeofthe.se/) - Website for sharing Slack custom palettes + +## :hammer_and_wrench:   Libraries and SDKs + +### C# + +- [margiebot](https://github.com/jammerware/margiebot) - A .NET library designed to make building bots for Slack fast, easy, and fun +- [Slack.Webhooks](https://github.com/nerdfury/Slack.Webhooks) - A library to work with Slack webhooks more easily +- [SlackAPI](https://github.com/Inumedia/SlackAPI) - A third-party implementation of Slack's API written in C# + +### Erlang + +- [slacker](https://github.com/julienXX/slacker) - Erlang Slack REST API wrapper + +### Go + +- [webhook](https://github.com/adnanh/webhook) - Easily run commands in response to HTTP webhook requests from Slack + +### Java + +- [java-slack-sdk](https://github.com/slackapi/java-slack-sdk) - Slack's official Java framework for building Slack apps +- [simple-slack-api](https://github.com/Ullink/simple-slack-api) - A Slack client library in Java + +### JavaScript/TypeScript + +- [bolt-js](https://github.com/slackapi/bolt-js) - Slack's official JavaScript framework for building Slack apps +- [jsx-slack](https://github.com/yhatt/jsx-slack) - Build JSON object for Slack Block Kit surfaces from JSX +- [node-slack-sdk](https://github.com/slackapi/node-slack-sdk) - Slack's official SDK for Node.js +- [slack-block-builder](https://github.com/raycharius/slack-block-builder) - Lightweight Node.js library for building Slack Block Kit UIs, with a declarative syntax inspired by SwiftUI + +### PHP + +- [SlackBundle](https://github.com/DZunke/SlackBundle) - SlackBundle for Symfony2 +- [slack-php-app-framework](https://github.com/slack-php/slack-php-app-framework) - Robust PHP framework for building Slack apps in PHP +- [slack-php-block-kit](https://github.com/jeremeamia/slack-block-kit) - Fluent interface for composing Slack Block Kit messages and modals in PHP +- [slack-php-socket-mode](https://github.com/slack-php/slack-php-socket-mode) - A Socket Mode implementation for [slack-php-app-framework](https://github.com/slack-php/slack-php-app-framework) +- [slack-php-slick](https://github.com/slack-php/slack-php-slick) - Dependency-free micro-framework for building Slack apps in PHP + +### PowerShell + +- [PSSlack](https://github.com/RamblingCookieMonster/PSSlack) - PowerShell module for simple Slack integration. + +### Python + +- [blockkit](https://github.com/imryche/blockkit) - A fast way to build Block Kit interfaces in Python +- [bolt-python](https://github.com/slackapi/bolt-python) - Slack's official Python framework for building Slack apps +- [django-slack](https://github.com/lamby/django-slack) - Slack integration for Django, using the templating engine to generate messages +- [django-slack-oauth](https://github.com/izdi/django-slack-oauth) - Slack OAuth module for Django +- [python-slack-events-api](https://github.com/slackapi/python-slack-events-api) - Slack Events API adapter for Python +- [python-slack-sdk](https://github.com/slackapi/python-slack-sdk) - Slack's official SDK for Python +- [slackblocks](https://github.com/nicklambourne/slackblocks) - Python API for building Slack Block Kit messages +- [slack-php-api](https://github.com/jolicode/slack-php-api) - PHP Slack client based on the official OpenAPI specification +- [slacker-cli](https://github.com/juanpabloaj/slacker-cli) - Messages to slack from the command line +- [slashbot](https://github.com/ebrassell/slashbot) - An easy way to create slash commands using AWS Lambda functions +- [boltworks](https://github.com/YSaxon/boltworks) - Extensions to Slack's bolt framework: expandable GUIs, easier callbacks, richer CLIs + +### R + +- [slackr](https://github.com/hrbrmstr/slackr) - A package to send webhook API messages to Slack channels/users from R + +### Ruby + +- [slack-notifier](https://github.com/stevenosloan/slack-notifier) - A simple wrapper for posting to Slack +- [slack-notify](https://github.com/sosedoff/slack-notify) - Send notifications to Slack +- [slack-poster](https://github.com/rikas/slack-poster) - Simple gem to post messages on Slack using webhooks +- [slack-ruby-block-kit](https://github.com/CGA1123/slack-ruby-block-kit) - A ruby wrapper for Slack's Block Kit +- [slack-ruby-bot](https://github.com/dblock/slack-ruby-bot) - The easiest way to write a Slack bot in Ruby +- [slack-ruby-bot-server](https://github.com/slack-ruby/slack-ruby-bot-server) - Ruby library for building Slack applications +- [slack-ruby-client](https://github.com/dblock/slack-ruby-client) - A Ruby client for the Slack Web and RealTime Messaging APIs + +### Rust + +- [slack-morphism-rust](https://github.com/abdolence/slack-morphism-rust) - A modern async Slack API client for Rust + +### Scala + +- [slack-scala-client](https://github.com/gilbertw1/slack-scala-client) - A Scala Slack client for the Web and RTM API + +### Swift + +- [SwiftBlocksUI](https://github.com/SwiftBlocksUI/SwiftBlocksUI/) - Interactive Slack messages and modals using a SwiftUI-like declarative style + +## :gear:   Open-Source Slack Apps and Integrations + +### CoffeeScript + +- [jinora](https://github.com/sdslabs/jinora) - Slack webhook app to create anonymous public channels + +### Java + +- [simple-slack-api](https://github.com/Ullink/simple-slack-api) - A Slack client library in Java +- [tasks-app](https://github.com/slackapi/tasks-app) - Simple task management app produced by Slack + +### JavaScript/Typescript + +- [definition-app](https://github.com/slackapi/definition-app) - App for storing and accessing company-specific phrases +- [slack-github-action](https://github.com/slackapi/slack-github-action) - Send data into Slack using this GitHub Action +- [slack-reporting-tool](https://github.com/slackapi/slack-reporting-tool) - App that allows team members to report offensive messages +- [tesla-slack](https://github.com/heikkipora/tesla-slack) - Track your Tesla from Slack +- [tasks-app](https://github.com/slackapi/tasks-app) - Simple task management app produced by Slack + +### PHP + +- [MantisBT-Slack](https://github.com/infojunkie/MantisBT-Slack) - MantisBT plugin to send bug updates to Slack +- [monolog](https://github.com/Seldaek/monolog) - Sends your logs to Slack + +### Python + +- [slackbot](https://github.com/lins05/slackbot) - A chat bot for Slack +- [slacker-cli](https://github.com/juanpabloaj/slacker-cli) - Messages to slack from the command line +- [tasks-app](https://github.com/slackapi/tasks-app) - Simple task management app produced by Slack +- [wee-slack](https://github.com/rawdigits/wee-slack) - A WeeChat plugin for Slack + +### Ruby + +- [slack-gamebot](https://github.com/dblock/slack-gamebot) - A game bot for Slack +- [snarkov](https://github.com/gesteves/snarkov) - Sinatra-based Markov bot for Slack +- [tickbot](https://github.com/barryf/tickbot) - Simple team time tracking reminder +- [trebekbot](https://github.com/gesteves/trebekbot) - A Jeopardy! bot for Slack + +## :busts_in_silhouette:   Contributions + +Contributions are always welcome! Please read the [contribution guidelines](https://github.com/matiassingers/awesome-slack/blob/master/contributing.md) first. + +## :classical_building:   License + +[![CC0](https://licensebuttons.net/p/zero/1.0/88x31.png)](http://creativecommons.org/publicdomain/zero/1.0/) + +To the extent possible under law, [Matias Singers](http://mts.io) has waived all copyright and related or neighboring rights to this work.