diff --git a/docs/2023-06-25-useful-tools.html b/docs/2023-06-25-useful-tools.html index 46a17b8..89f9dbd 100644 --- a/docs/2023-06-25-useful-tools.html +++ b/docs/2023-06-25-useful-tools.html @@ -738,14 +738,27 @@ >https://github.com/astral-sh/ruff +
  • + https://github.com/corbindavenport/nexus-tools +
  • + +

    Language

    + @@ -779,6 +792,11 @@ >https://github.com/crate-ci/typos +
  • + https://github.com/Enter-tainer/typstyle +
  • Language server

    Misc