Skip to content

Commit

Permalink
Robot Updated at:5 Aug 2024 21:11:14 GMT
Browse files Browse the repository at this point in the history
  • Loading branch information
yiliuyan161 committed Aug 5, 2024
1 parent 63746de commit ddb35b7
Show file tree
Hide file tree
Showing 8 changed files with 113 additions and 192 deletions.
4 changes: 2 additions & 2 deletions docs/awesome/awesome-agi-cocosci.md
Original file line number Diff line number Diff line change
Expand Up @@ -570,8 +570,6 @@ English-language description for use by biologists.

* [A domain‑specifc language framework for farm management information systems in precision agriculture](https://link.springer.com/article/10.1007/s11119-020-09770-y) - ***Precision Agriculture***, 2020. [[All Versions](https://scholar.google.com/scholar?cluster=1495954486695213496)]. This paper proposes a domain-specific language framework for the design and development of precision-agriculture FMISs, which copes with challenges on supporting the understandability, enhancing communication and analysis of the design decisions, and the communication among stakeholders.

* [Scenic: a language for scenario specification and data generation](https://link.springer.com/article/10.1007/s10994-021-06120-5) - ***Machine Learning***, 2022. [[All Versions](https://scholar.google.com/scholar?cluster=13790565080942515865)]. Thie paper proposes a domain-specific language, Scenic, for describing scenarios that are distributions over scenes and the behaviors of their agents over time. Scenic combines concise, readable syntax for spatiotemporal relationships with the ability to declaratively impose hard and soft constraints over the scenario.


* [Corel: A DSL for Cooking Recipes](https://fse.studenttheses.ub.rug.nl/25731/) - 2021. [[All Versions](https://scholar.google.com/scholar?cluster=9477049800574267813)]. [[Corel recipe page](https://roorda.dev/recipes/0)]. [[International Network of Food Data Systems (INFOODS)](https://www.fao.org/infoods/infoods/tables-and-databases/faoinfoods-databases/en/)]. The Corel DSL for cooking recipes enables understanding of and computation with ingredients, and can construct a nutrition label for the recipe.

Expand All @@ -585,6 +583,8 @@ English-language description for use by biologists.

* [OpenLaw](https://docs.openlaw.io/) - ***OpenLaw.io***. It is now possible to model all or parts of legal agreements using code (smart contracts), decreasing the cost and friction of creating, securing, and generating binding legal agreements. Lawyers lack basic tools to build these dynamic, “smart” contracts in a way that is enforceable and understandable to a legal professional. OpenLaw is a technology stack to help power next generation "smart" legal agreements, with a domain-specific markup language, a integration framework, and a series of general applications.

* [Scenic: a language for scenario specification and data generation](https://link.springer.com/article/10.1007/s10994-021-06120-5) - ***Machine Learning***, 2022. [[All Versions](https://scholar.google.com/scholar?cluster=13790565080942515865)]. Thie paper proposes a domain-specific language, Scenic, for describing scenarios that are distributions over scenes and the behaviors of their agents over time. Scenic combines concise, readable syntax for spatiotemporal relationships with the ability to declaratively impose hard and soft constraints over the scenario.

* [Domain Specific Language for Smart Contract Development](https://ieeexplore.ieee.org/abstract/document/9169399) - ***ICBC'20***, 2020. [[All Versions](https://scholar.google.com/scholar?cluster=16998538751745390273)]. [[Preprint](http://eprints-dev5.cs.univie.ac.at/6341/1/PID6382125.pdf)]. This research addresses the understanding hardness raised from the conceptual discrepancy between contractual clauses and corresponding code of the Solidity programming language, by the design and study of a domain-specific smart contract language based on higher level of abstraction that can be automatically transformed to an implementation.

* [iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms](https://www.sciencedirect.com/science/article/pii/S0950584921002081) - ***Information and Software Technology***, 2022. [[All Versions](https://scholar.google.com/scholar?cluster=1548144959305241494)]. A reference model and platform agnostic language for smart contracts.
Expand Down
1 change: 1 addition & 0 deletions docs/awesome/awesome-bitcoin.md
Original file line number Diff line number Diff line change
Expand Up @@ -87,6 +87,7 @@ A curated list of bitcoin services and tools for software developers
* [noble-curves](https://github.com/paulmillr/noble-curves) — audited implementation of secp256k1 + schnorr in pure typescript
* [noble-secp256k1](https://github.com/paulmillr/noble-secp256k1) — alternative implementation of secp256k1: size is only 4KB gzipped; lots of comments, very valuable for learning how algorithms work
* [scure-btc-signer](https://github.com/paulmillr/scure-btc-signer) — audited & minimal library for creating, signing & decoding Bitcoin transactions. With Schnorr, Taproot, UTXO & PSBT.
* [bitcoin-sdk-js](https://github.com/ChrisCho-H/bitcoin-sdk-js) — Bitcoin TypeScript/JavaScript Library for NodeJS, Browser and Mobile. Segwit & Taproot support.

## PHP Libraries
* [PHP-OP_RETURN](https://github.com/coinspark/php-OP_RETURN)
Expand Down
62 changes: 31 additions & 31 deletions docs/awesome/awesome-browser-extensions-for-github.md
Original file line number Diff line number Diff line change
Expand Up @@ -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: 115 | Stars: 79 | Last update: 2 Jun 2023
Installs: 113 | Stars: 79 | Last update: 2 Jun 2023


Removes clutter from your pull request by automatically marking as viewed files that aren't worth reviewing.
Expand All @@ -45,22 +45,22 @@ Installs: 20 | Stars: 15 | Last update: 25 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: 13 | Stars: 20 | Last update: 2 May 2023
Installs: 12 | Stars: 20 | 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: 8 | Stars: 465 | Last update: 1 Mar 2021
Installs: 8 | Stars: 466 | Last update: 1 Mar 2021


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

Installs: 626 | Stars: 2067 | Last update: 3 Jun 2024
Installs: 618 | Stars: 2064 | Last update: 3 Jun 2024


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

Installs: 524 | Stars: 182 | Last update: 18 Jan 2024
Installs: 509 | Stars: 182 | Last update: 18 Jan 2024


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

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

Installs: 202 | Stars: 13528 | Last update: 13 Oct 2023
Installs: 199 | Stars: 13529 | Last update: 13 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.
Expand All @@ -80,7 +80,7 @@ Installs: 34 | Stars: 4 | Last update: n/a

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: 115 | Stars: 289 | Last update: 25 Apr 2024
Installs: 113 | Stars: 289 | Last update: 25 Apr 2024


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

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

Installs: 20000 | Stars: 1419 | Last update: n/a
Installs: 20000 | Stars: 1420 | Last update: n/a


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

Neat hovercards for GitHub.

Installs: 18558 | Stars: 1821 | Last update: n/a
Installs: 18560 | Stars: 1821 | Last update: n/a


Colorize issue and PR links to see their status (open, closed, merged).
Expand All @@ -125,7 +125,7 @@ Installs: 30 | Stars: 49 | Last update: 10 Aug 2022

Revert closed GitHub issues from purple back to red

Installs: 1 | Stars: 40 | Last update: 14 Jul 2024
Installs: 1 | Stars: 39 | Last update: 14 Jul 2024


Automatically adds repository size to GitHub's repository summary.
Expand All @@ -145,7 +145,7 @@ Installs: 35 | 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: 111 | Stars: 379 | Last update: 10 Apr 2024
Installs: 109 | Stars: 379 | Last update: 10 Apr 2024


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

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

Installs: 3406 | Stars: 38 | Last update: 21 Aug 2023
Installs: 3370 | Stars: 38 | 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.
Expand All @@ -170,7 +170,7 @@ Installs: 553 | Stars: n/a | Last update: n/a

Extension to get back current and longest streak.

Installs: 24 | Stars: 231 | Last update: 30 Jun 2021
Installs: 23 | Stars: 231 | Last update: 30 Jun 2021


Replace browser new tab screen with GitHub trending projects.
Expand All @@ -185,12 +185,12 @@ Installs: 33 | Stars: 320 | Last update: n/a

Allows you to toggle between the normal GitHub contribution chart and an isometric pixel art version.

Installs: 10000 | Stars: 3482 | Last update: n/a
Installs: 10000 | Stars: 3483 | Last update: n/a


Browser extension to add git graph to GitHub website.

Installs: 456 | Stars: 3254 | Last update: 1 Jan 2024
Installs: 447 | Stars: 3256 | Last update: 1 Jan 2024


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.
Expand All @@ -200,17 +200,17 @@ Installs: 57 | Stars: 235 | Last update: n/a

See forks with the most stars under the names of repositories.

Installs: 314 | Stars: 594 | Last update: 30 Mar 2024
Installs: 311 | Stars: 594 | Last update: 30 Mar 2024


Show Material icons for files/folders in repository file viewer. Display the same icons from vscode-material-icon-theme VSCode extension.

Installs: 792 | Stars: 491 | Last update: 27 Jul 2024
Installs: 780 | Stars: 491 | Last update: 27 Jul 2024


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: 36 | Stars: 250 | Last update: 27 Nov 2019
Installs: 35 | Stars: 250 | Last update: 27 Nov 2019


Chrome extension which helps you not to miss important changes in your news thread related to your repo
Expand All @@ -220,12 +220,12 @@ Installs: 17 | Stars: 16 | Last update: n/a

A Chrome and Firefox extension to quickly see your notifications in a popup without leaving the current page.

Installs: 59 | Stars: 140 | Last update: 3 Aug 2024
Installs: 58 | Stars: 140 | Last update: 3 Aug 2024


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: 524 | Stars: 1817 | Last update: 24 Apr 2024
Installs: 512 | Stars: 1818 | Last update: 24 Apr 2024


Filter your pull requests/issues in different categories giving you a big boost in productivity. Also suggests new trending repositories.
Expand All @@ -235,7 +235,7 @@ Installs: 2 | Stars: 142 | 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: 12910 | Stars: 5263 | Last update: 13 Nov 2022
Installs: 12901 | Stars: 5263 | 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).
Expand All @@ -252,7 +252,7 @@ Installs: 4000 | Stars: 962 | Last update: n/a

Useful for developers who frequently read source in GitHub and do not want to download or checkout too many repositories.

Installs: 37211 | Stars: 22748 | Last update: 9 Jun 2024
Installs: 37125 | Stars: 22751 | Last update: 9 Jun 2024


Revert GitHub's UI back to its classic look (before the June 23, 2020 update that has a flat, rounded and more whitespaced design).
Expand All @@ -262,12 +262,12 @@ Installs: 64 | Stars: 227 | Last update: 14 Jun 2024

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: 37 | Stars: 71 | Last update: 23 Sep 2023
Installs: 36 | Stars: 71 | 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: 32 | Stars: 117 | Last update: 21 Jun 2023
Installs: 31 | Stars: 117 | Last update: 21 Jun 2023


Browser extension that shows which pull requests contain changes related to a file.
Expand All @@ -277,12 +277,12 @@ Installs: 3 | Stars: 97 | Last update: 15 Oct 2020

Extension that simplifies the GitHub interface and adds useful features.

Installs: 8254 | Stars: 23944 | Last update: 3 Aug 2024
Installs: 8135 | Stars: 23955 | Last update: 3 Aug 2024


Are they tabs? Are they spaces? How many? Never wonder again! Renders spaces as `·` and tabs as `` in all the code on GitHub.

Installs: 19 | Stars: 76 | Last update: 25 Apr 2024
Installs: 18 | Stars: 76 | Last update: 25 Apr 2024


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.
Expand All @@ -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: 855 | Stars: 9990 | Last update: 14 Apr 2023
Installs: 836 | Stars: 9994 | Last update: 14 Apr 2023


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

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

Installs: 118 | Stars: n/a | Last update: n/a
Installs: 114 | Stars: n/a | Last update: n/a


file tree for github, and more than that.

Installs: 312 | Stars: n/a | Last update: 7 Jul 2024
Installs: 308 | Stars: n/a | Last update: 7 Jul 2024


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.
Expand All @@ -338,12 +338,12 @@ Installs: 2000 | Stars: 131 | Last update: n/a

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

Installs: 2314 | Stars: 143 | Last update: 21 Jun 2024
Installs: 2275 | Stars: 143 | Last update: 21 Jun 2024


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: 80 | Stars: 756 | Last update: 26 Jul 2024
Installs: 78 | Stars: 756 | Last update: 26 Jul 2024


Extends GitHub pages with math, diagrams, embedded YouTube videos etc.
Expand Down
4 changes: 3 additions & 1 deletion docs/awesome/awesome-deno.md
Original file line number Diff line number Diff line change
Expand Up @@ -91,6 +91,9 @@ This list is a collection of the best Deno modules and resources.
- [ImageScript](https://github.com/matmen/ImageScript) - Image processing in JavaScript, utilizing WebAssembly for performance.
- [monke](https://github.com/retraigo/monke) - Color quantization and dithering library with extra image filters (blur, invert, etc).

### LLM
- [duckduckgo-ai-chat](https://github.com/mumu-lhl/duckduckgo-ai-chat) - Providing Duckduckgo AI Chat API, which can use gpt-4o-mini for free.

### Logging
- [sentry_deno](https://github.com/GJZwiers/sentry_deno) - Unofficial port of the Sentry SDK for JavaScript to Deno.
- [dlog](https://github.com/dpmland/dlog) - A ussefull logger for the prompt with icons or simple version!
Expand Down Expand Up @@ -360,7 +363,6 @@ This list is a collection of the best Deno modules and resources.
- [The Hidden Superpower of Deno: xeval](https://stefanbuck.com/blog/hidden-superpower-deno-xeval)
- [Test coverage in Deno with Codecov and GitHub Actions](https://v1rtl.site/blog/coverage-in-deno)
- Deno REST API with Oak Tutorial Series [0](https://www.robinwieruch.de/deno-tutorial), [1](https://www.robinwieruch.de/deno-oak), [2](https://www.robinwieruch.de/deno-oak-rest-api)
- [Dissecting Deno](https://fettblog.eu/dissecting-deno/)
- [Getting Started with Deno](https://sabe.io/tutorials/getting-started-with-deno)
- [How to deploy a Deno app using Docker](https://sabe.io/tutorials/how-to-deploy-deno-app-docker)

Expand Down
2 changes: 2 additions & 0 deletions docs/awesome/awesome-godot.md
Original file line number Diff line number Diff line change
Expand Up @@ -195,6 +195,7 @@ See [Vivraan/godot-lang-support](https://github.com/Vivraan/godot-lang-support).
- [Aseprite Wizard](https://github.com/viniciusgerevini/godot-aseprite-wizard) - Plugin for importing animations from Aseprite as SpriteFrames (Godot 3.x).
- [AutoColliders](https://github.com/graycastle/godot-AutoColliders) - Allows the automatic generation of colliders for Sprites, with planned expansion to handle 3D meshes in the future (Godot 3.x).
- [BoxCam2D](https://github.com/sarooptech/BoxCam2D) - Simplest way to implement grid-based 2D camera movement (Godot 3.x).
- [CReverter (Composite Reverter)](https://codeberg.org/svetogam/creverter) - Memento-based undo/redo utility that supports composition (Godot 4.x).
- [CRT Shader](https://github.com/hiulit/Godot-3-2D-CRT-Shader) - A Godot shader that simulates CRT Displays with many shader parameters (Godot 3.x).
- [Cyclops Level Builder](https://github.com/blackears/cyclopsLevelBuilder) - A level builder for quick prototypes and proof-of-concepts (Godot 4.x).
- [Dialogue Manager](https://github.com/nathanhoad/godot_dialogue_manager) - A simple but powerful text based branching dialogue editor and runtime (Godot 3.x, 4.x).
Expand Down Expand Up @@ -236,6 +237,7 @@ See [Vivraan/godot-lang-support](https://github.com/Vivraan/godot-lang-support).
#### Godot 4.2+

- [AnimatedShape2D](https://github.com/Goutte/godot-addon-animated-shape-2d) - Animate a CollisionShape2D along with the frames of an AnimatedSprite2D.
- [CSLocator (Contextual Service Locator)](https://codeberg.org/svetogam/cslocator) - Provides a clean interface to register and find objects through the scene tree like localized singletons.
- [Godot Google Play Game Services](https://github.com/Iakobs/godot-play-game-services) - Integrate Google Play Games Services in your Godot game.
- [LimboAI](https://github.com/limbonaut/limboai) - Behavior trees and state machines. Comes with editor, visual debugger, comprehensive demo and tutorial.
- [Maaack's Game Template Plugin](https://github.com/Maaack/Godot-Game-Template) - Template with a main menu, options menus, pause menu, credits, scene loader, extra tools, and an example game scene.
Expand Down
Loading

0 comments on commit ddb35b7

Please sign in to comment.