diff options
| author | Bartek thindil Jasicki <thindil@laeran.pl> | 2021-01-22 17:52:01 +0100 |
|---|---|---|
| committer | Bartek thindil Jasicki <thindil@laeran.pl> | 2021-01-22 17:52:01 +0100 |
| commit | 1ca780a08ad28a2c8264ec9292e9fbbf96930e06 (patch) | |
| tree | 0240bd1da22673dfb21c885bf2852fbffd7540c5 /supported-tools.md | |
| parent | 42bf5ca91110bac565d76263bd5d21ebb9b142a9 (diff) | |
| parent | 1b010bbabb5b28cc2746ca967941ffdc9240960e (diff) | |
| download | ale-1ca780a08ad28a2c8264ec9292e9fbbf96930e06.zip | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'supported-tools.md')
| -rw-r--r-- | supported-tools.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/supported-tools.md b/supported-tools.md index 8eebed10..31d07562 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -126,6 +126,7 @@ formatting. * Dafny * [dafny](https://rise4fun.com/Dafny) :floppy_disk: * Dart + * [analysis_server](https://github.com/dart-lang/sdk/tree/master/pkg/analysis_server) * [dartanalyzer](https://github.com/dart-lang/sdk/tree/master/pkg/analyzer_cli) :floppy_disk: * [dartfmt](https://github.com/dart-lang/sdk/tree/master/utils/dartfmt) * [language_server](https://github.com/natebosch/dart_language_server) @@ -332,6 +333,10 @@ formatting. * [ocamlformat](https://github.com/ocaml-ppx/ocamlformat) * [ocp-indent](https://github.com/OCamlPro/ocp-indent) * [ols](https://github.com/freebroccolo/ocaml-language-server) +* OpenApi + * [ibm_validator](https://github.com/IBM/openapi-validator) + * [prettier](https://github.com/prettier/prettier) + * [yamllint](https://yamllint.readthedocs.io/) * Pawn * [uncrustify](https://github.com/uncrustify/uncrustify) * Perl @@ -511,6 +516,7 @@ formatting. * typecheck * VALA * [uncrustify](https://github.com/uncrustify/uncrustify) + * [vala_lint](https://github.com/vala-lang/vala-lint) :floppy_disk: * Verilog * [hdl-checker](https://pypi.org/project/hdl-checker) * [iverilog](https://github.com/steveicarus/iverilog) |