You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: docs/awesome/awesome-agi-cocosci.md
+1-1
Original file line number
Diff line number
Diff line change
@@ -585,7 +585,7 @@ English-language description for use by biologists.
585
585
586
586
*[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.
587
587
588
-
*[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.
588
+
* [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)]. Smart contracts play a vital role in many fields. Despite being called smart, the development of smart contracts is a tedious task beyond defining a set of contractual rules. In addition to business knowledge, coding a smart contract requires strong technical knowledge in a multiplex of new and rapidly changing domain-specific languages and blockchain platforms. The goal of this paper is to assist developers in building smart contracts independently from the language or the target blockchain platform. In which, this paper presents the second-generation smart contract language iContractML 2.0. iContractML 2.0 is an extensible framework that empowers developers to model and generate functional smart contract code that can be deployed onto multiple blockchain platforms.
589
589
590
590
*[PClean: Bayesian Data Cleaning at Scale with Domain-Specific Probabilistic Programming](https://proceedings.mlr.press/v130/lew21a.html) - ***ICML'21***, 2021. [[All Versions](https://scholar.google.com/scholar?cluster=2892523061439714130)]. This work presents PClean, a probabilistic programming language (PPL) for leveraging dataset-specific knowledge to automate Bayesian cleaning, automating Bayesian approaches given the diversity of real-world error patterns and the hardness of inference.
*[Compodoc](https://github.com/compodoc/compodoc) - The missing documentation tool for your Angular application.
473
474
*[ng-doc](https://github.com/ng-doc/ng-doc) - The documentation engine for Angular projects.
474
475
*[docgeni](https://github.com/docgeni/docgeni) - A modern, powerful and out of the box documentation generator for Angular components lib and markdown docs.
Copy file name to clipboardexpand all lines: docs/awesome/awesome-ansible.md
+15-1
Original file line number
Diff line number
Diff line change
@@ -83,6 +83,7 @@ For more information about communication, see the [Ansible communication guide](
83
83
-[Ansible Doctor](https://github.com/thegeeklab/ansible-doctor) - Simple annotation like documentation generator for Ansible roles based on Jinja2 templates.
84
84
-[Ansible cmdb](https://github.com/fboender/ansible-cmdb) - Takes the output of Ansible's fact gathering and converts it into a static HTML page.
85
85
-[ARA](https://github.com/ansible-community/ara) - ARA Records Ansible playbooks and makes them easier to understand and troubleshoot with a reporting API, UI and CLI.
86
+
-[Ansible Inventory Grapher](https://github.com/willthames/ansible-inventory-grapher) - Displays inventory inheritance hierarchies and the level at which variables are defined in an inventory.
86
87
-[Mitogen for Ansible](https://mitogen.networkgenomics.com/ansible_detailed.html) - Speed up Ansible substantially with Mitogen.
87
88
-[Molecule](https://molecule.readthedocs.io/en/latest/) - Molecule aids in the development and testing of Ansible roles.
88
89
-[Packer Ansible Provisioner](https://www.packer.io/plugins/provisioners/ansible/ansible-local) - This Provisioner can be used to automate VM Image creation via Packer with Ansible.
@@ -144,5 +145,18 @@ For more information about communication, see the [Ansible communication guide](
144
145
> Awesome Integrations into Text Editors and IDE's to make development with/for Ansible easier.
145
146
146
147
-[Ansible Language Server](https://github.com/ansible/ansible-language-server) - Language Server that adds support for Ansible, to compatible Editors.
147
-
-[Emacs - Ansible client for Language Server Protocol](https://emacs-lsp.github.io/lsp-mode/page/lsp-ansible/) - Emacs support for Ansible Language Server Protocol.
148
148
-[VS Code - official Ansible Extension](https://marketplace.visualstudio.com/items?itemName=redhat.ansible) - Adds language support for Ansible to Visual Studio Code and OpenVSX compatible editors by leveraging ansible-language-server.
149
+
<!--lint disable -->
150
+
-[Vim](https://www.vim.org/) - An open-source, free command-line text editor. Useful Vim plugins include:
151
+
-[Ansible vim](https://github.com/pearofducks/ansible-vim) - A vim syntax plugin for Ansible 2.x, it supports YAML playbooks, Jinja2 templates, and Ansible's hosts files.
152
+
-[Ansible vim and neovim plugin](https://www.npmjs.com/package/@yaegassy/coc-ansible) - A vim plugin (lsp client) for Ansible, it supports autocompletion, syntax highlighting, hover, diagnostics, and goto support.
153
+
-[Emacs](https://www.gnu.org/software/emacs/) - A free, open-source text editor and IDE that supports auto-indentation, syntax highlighting and a built in terminal shell (among other things):
154
+
-[lsp-mode](https://emacs-lsp.github.io/lsp-mode/page/lsp-ansible/) - Ansible Language Server Protocol support for Emacs: provides syntax highlighting, auto-completion and diagnostics.
155
+
-[yaml-mode](https://github.com/yoshiki/yaml-mode) - YAML highlighting and syntax checking.
156
+
-[jinja2-mode](https://github.com/paradoxxxzero/jinja2-mode) - Jinja2 highlighting and syntax checking.
157
+
-[magit-mode](https://github.com/magit/magit) - Git porcelain within Emacs.
158
+
-[flymake-ansible-lint](https://github.com/jamescherti/flymake-ansible-lint.el) - Ansible Lint integration with automatic/continuous annotation of errors, warnings, and info while editing.
159
+
-[PyCharm](https://www.jetbrains.com/pycharm/) - A full IDE for Python software development. Useful plugins include:
160
+
-[Ansible Lint](https://plugins.jetbrains.com/plugin/20905-ansible-lint) - Ansible Lint integration with automatic/continuous annotation of errors, warnings, and info while editing.
161
+
-[Ansible Vault Integration](https://plugins.jetbrains.com/plugin/14353-ansible-vault-integration) - Ansible vault integration for IntelliJ IDEA with context actions for vaulting and unvaulting secrets.
Copy file name to clipboardexpand all lines: docs/awesome/awesome-go.md
-4
Original file line number
Diff line number
Diff line change
@@ -2000,14 +2000,12 @@ _Unofficial libraries for package and dependency management._
2000
2000
## Resource Embedding
2001
2001
2002
2002
-[debme](https://github.com/leaanthony/debme) - Create an `embed.FS` from an existing `embed.FS` subdirectory.
2003
-
-[esc](https://github.com/mjibson/esc) - Embeds files into Go programs and provides http.FileSystem interfaces to them.
2004
2003
-[fileb0x](https://github.com/UnnoTed/fileb0x) - Simple tool to embed files in go with focus on "customization" and ease to use.
2005
2004
-[go-resources](https://github.com/omeid/go-resources) - Unfancy resources embedding with Go.
2006
2005
-[go.rice](https://github.com/GeertJohan/go.rice) - go.rice is a Go package that makes working with resources such as HTML, JS, CSS, images, and templates very easy.
2007
2006
-[mule](https://github.com/wlbr/mule) - Embed external resources like images, movies ... into Go source code to create single file binaries using `go generate`. Focused on simplicity.
2008
2007
-[packr](https://github.com/gobuffalo/packr) - The simple and easy way to embed static files into Go binaries.
2009
2008
-[rebed](https://github.com/soypat/rebed) - Recreate folder structures and files from Go 1.16's `embed.FS` type
2010
-
-[statics](https://github.com/go-playground/statics) - Embeds static resources into go files for single binary compilation + works with http.FileSystem + symlinks.
2011
2009
-[statik](https://github.com/rakyll/statik) - Embeds static files into a Go executable.
2012
2010
-[templify](https://github.com/wlbr/templify) - Embed external template files into Go code to create single file binaries.
2013
2011
-[vfsgen](https://github.com/shurcooL/vfsgen) - Generates a vfsdata.go file that statically implements the given virtual filesystem.
@@ -2950,7 +2948,6 @@ _Source code analysis tools, also known as Static Application Security Testing (
2950
2948
-[go-cleanarch](https://github.com/roblaszczak/go-cleanarch) - go-cleanarch was created to validate Clean Architecture rules, like a The Dependency Rule and interaction between packages in your Go projects.
2951
2949
-[go-critic](https://github.com/go-critic/go-critic) - source code linter that brings checks that are currently not implemented in other linters.
2952
2950
-[go-mod-outdated](https://github.com/psampaz/go-mod-outdated) - An easy way to find outdated dependencies of your Go projects.
2953
-
-[go-outdated](https://github.com/firstrow/go-outdated) - Console application that displays outdated packages.
2954
2951
-[goast-viewer](https://github.com/yuroyoro/goast-viewer) - Web based Golang AST visualizer.
2955
2952
-[goimports](https://pkg.go.dev/golang.org/x/tools/cmd/goimports) - Tool to fix (add, remove) your Go imports automatically.
2956
2953
-[golang-ifood-sdk](https://github.com/arxdsilva/golang-ifood-sdk) - iFood API SDK.
@@ -3083,7 +3080,6 @@ _Software written in Go._
3083
3080
-[gonative](https://github.com/inconshreveable/gonative) - Tool which creates a build of Go that can cross compile to all platforms while still using the Cgo-enabled versions of the stdlib packages.
3084
3081
-[govvv](https://github.com/ahmetalpbalkan/govvv) - “go build” wrapper to easily add version information into Go binaries.
3085
3082
-[gox](https://github.com/mitchellh/gox) - Dead simple, no frills Go cross compile tool.
3086
-
-[goxc](https://github.com/laher/goxc) - build tool for Go, with a focus on cross-compiling and packaging.
3087
3083
-[grapes](https://github.com/yaronsumel/grapes) - Lightweight tool designed to distribute commands over ssh with ease.
3088
3084
-[GVM](https://github.com/moovweb/gvm) - GVM provides an interface to manage Go versions.
3089
3085
-[Hey](https://github.com/rakyll/hey) - Hey is a tiny program that sends some load to a web application.
Copy file name to clipboardexpand all lines: docs/awesome/awesome-rust.md
+2-1
Original file line number
Diff line number
Diff line change
@@ -293,6 +293,7 @@ See also [A comparison of operating systems written in Rust](https://github.com/
293
293
*[thepowersgang/rust_os](https://github.com/thepowersgang/rust_os) - An OS kernel written in rust. Non POSIX
294
294
*[theseus-os/Theseus](https://github.com/theseus-os/Theseus) - A safe-language, single address space and single privilege level OS written from scratch - [](https://www.theseus-os.com/Theseus/book/index.html)
295
295
*[tock/tock](https://github.com/tock/tock) - A secure embedded operating system for Cortex-M based microcontrollers
296
+
*[vinc/moros](https://github.com/vinc/moros) - A text-based hobby operating system targeting computers with a x86-64 architecture and a BIOS.
296
297
297
298
### Package Managers
298
299
@@ -1690,10 +1691,10 @@ See also [Are we game yet?](https://arewegameyet.rs)
1690
1691
*[sunng87/handlebars-rust](https://github.com/sunng87/handlebars-rust) - Handlebars template engine with inheritance, custom helper support.
1691
1692
*[zzau13/yarte](https://github.com/zzau13/yarte) - Yarte stands for **Y**et **A**nother **R**ust **T**emplate **E**ngine, is the fastest template engine.
1692
1693
* HTML
1693
-
*[djc/askama](https://github.com/djc/askama) - template rendering engine based on Jinja
1694
1694
*[kaj/ructe](https://github.com/kaj/ructe) - HTML template system
1695
1695
*[Keats/tera](https://github.com/Keats/tera) - template engine based on Jinja2 and the Django template language. [](https://github.com/Keats/tera/actions)
1696
1696
*[lambda-fairy/maud](https://github.com/lambda-fairy/maud) - compile-time HTML templates
1697
+
*[rinja-rs/askama](https://github.com/rinja-rs/askama) - template rendering engine based on Jinja
1697
1698
*[Stebalien/horrorshow-rs](https://github.com/Stebalien/horrorshow-rs) - compile-time HTML templates
1698
1699
* Mustache
1699
1700
*[rustache/rustache](https://github.com/rustache/rustache) - a Rust implementation of the Mustache spec
-[Easy!Appointments](https://easyappointments.org/) - A highly customizable web application that allows your customers to book appointments with you via the web. ([Demo](https://demo.easyappointments.org/), [Source Code](https://github.com/alextselegidis/easyappointments)) `GPL-3.0``PHP`
179
179
-[Hi.Events](https://hi.events) - Event management and ticketing platform for conferences, concerts, and more. Offering customizable event pages and embeddable ticket widgets. ([Demo](https://demo.hi.events/event/1/dog-conf-2030), [Source Code](https://github.com/HiEventsDev/hi.events)) `AGPL-3.0``Docker`
180
180
-[QloApps](https://qloapps.com/) - An open-source, customizable and intuitive web-based hotel reservation system and a booking engine. ([Demo](https://demo.qloapps.com/), [Source Code](https://github.com/webkul/hotelcommerce)) `OSL-3.0``PHP/Nodejs`
-[InvoicePlane](https://github.com/InvoicePlane/InvoicePlane) - Manage quotes, invoices, payments and customers for your small business. `MIT``PHP`
1318
1318
-[InvoiceShelf](https://invoiceshelf.com/) - A software that helps you track expenses, payments & create professional invoices & estimates (fork of Crater). ([Source Code](https://github.com/InvoiceShelf/InvoiceShelf)) `AGPL-3.0``PHP/Docker`
1319
1319
-[Kill Bill](https://killbill.io/) - Open-Source Subscription Billing & Payments Platform. Have access to real-time analytics and financial reports. ([Source Code](https://github.com/killbill/killbill)) `Apache-2.0``Java/Docker`
1320
-
-[Kresus](https://kresus.org/) - Open source personal finance manager. ([Demo](https://kresus.org/en/demo.html), [Source Code](https://github.com/kresusapp/kresus)) `MIT``Nodejs/Docker`
1320
+
-[Kresus](https://kresus.org/) - Open source personal finance manager. ([Demo](https://kresus.org/en/demo.html), [Source Code](https://github.com/kresusapp/kresus)) `AGPL-3.0``Nodejs/Docker`
1321
1321
-[Lago](https://www.getlago.com/) - Open-source metering and usage-based billing. ([Source Code](https://github.com/getlago/lago)) `AGPL-3.0``Docker`
1322
1322
-[Maybe](https://maybe.co/) - An OS for your personal finances built by a small team alongside an incredible community. ([Source Code](https://github.com/maybe-finance/maybe)) `AGPL-3.0``Docker`
@@ -1391,7 +1391,6 @@ An [office suite](https://en.wikipedia.org/wiki/List_of_office_suites) is a coll
1391
1391
A [password manager](https://en.wikipedia.org/wiki/Password_manager) allows users to store, generate, and manage their passwords for local applications and online services.
1392
1392
1393
1393
-[Bitwarden](https://bitwarden.com/)`⚠` - Password manager with webapp, browser extension, and mobile app. ([Source Code](https://github.com/bitwarden/server)) `AGPL-3.0``Docker/C#`
1394
-
-[Padloc](https://padloc.app/) - A modern, open source password manager for individuals and teams. ([Source Code](https://github.com/padloc/padloc)) `GPL-3.0``Nodejs`
1395
1394
-[Passbolt](https://www.passbolt.com/) - Password manager dedicated for managing passwords in a collaborative way on any Web server, using a MySQL database backend. ([Source Code](https://github.com/passbolt/passbolt_api)) `AGPL-3.0``PHP/deb/K8S/Docker`
1396
1395
-[PassIt](https://passit.io/) - Simple password manage with sharing features by group and user, but no administration interface. ([Demo](https://app.passit.io/), [Source Code](https://gitlab.com/passit)) `AGPL-3.0``Docker/Django`
1397
1396
-[Passky](https://passky.org) - Simple, modern and open source password manager with website, browser extension, android and desktop application. ([Demo](https://vault.passky.org), [Source Code](https://github.com/Rabbit-Company/Passky-Server)) `GPL-3.0``PHP`
0 commit comments