diff --git a/README.md b/README.md index 9c4fe9e0..5b69b1fc 100644 --- a/README.md +++ b/README.md @@ -217,7 +217,7 @@ _Libraries for machine learning. Also see [awesome-machine-learning](https://git - [lightgbm](https://github.com/lightgbm-org/LightGBM) - A fast, distributed, high-performance gradient boosting framework. - [catboost](https://github.com/catboost/catboost) - A fast, scalable, high-performance gradient boosting on decision trees library. - Time Series Forecasting - - [prophet](https://github.com/facebook/prophet) - A tool for producing forecasts for time series with multiple seasonality and trend changes. + - [prophet](https://github.com/meta/prophet) - A tool for producing forecasts for time series with multiple seasonality and trend changes. - [statsforecast](https://github.com/Nixtla/statsforecast) - Fast statistical forecasting models such as ARIMA, ETS, and Theta, compiled with numba. - [sktime](https://github.com/sktime/sktime) - A unified scikit-learn-style framework for forecasting and other time-series learning tasks. - [timesfm](https://github.com/google-research/timesfm) - A pretrained foundation model from Google Research for time-series forecasting, with non-commercial default weights. @@ -668,7 +668,7 @@ _Tools for static analysis, linters and code quality checkers. Also see [awesome - [mypy](https://github.com/python/mypy) - A static type checker for Python. - [ty](https://github.com/astral-sh/ty) - An extremely fast Python type checker and language server. - [pyright](https://github.com/microsoft/pyright) - Full-featured static type checker for Python from Microsoft, the engine behind Pylance. - - [pyrefly](https://github.com/facebook/pyrefly) - A fast type checker and language server for Python. + - [pyrefly](https://github.com/meta/pyrefly) - A fast type checker and language server for Python. ### Testing diff --git a/website/data/category_intros/code-analysis.md b/website/data/category_intros/code-analysis.md index 14864750..fc90f016 100644 --- a/website/data/category_intros/code-analysis.md +++ b/website/data/category_intros/code-analysis.md @@ -42,7 +42,7 @@ ast-grep matches code by its syntax tree, with [patterns you write like ordinary mypy is [designed for gradual typing](https://mypy.readthedocs.io/en/stable/): by default, it [skips functions without annotations](https://mypy.readthedocs.io/en/stable/getting_started.html#dynamic-vs-static-typing), so you can add type hints slowly. Check in one config file, [run mypy in CI](https://mypy.readthedocs.io/en/stable/existing_code.html#run-mypy-consistently-and-prevent-regressions) so new type errors don't land, and aim for `--strict`. Its [plugins](https://mypy.readthedocs.io/en/stable/extending_mypy.html#extending-mypy-using-plugins) teach it libraries the standard type system can't describe. -Pyrefly is a type checker and language server with [built-in support for Pydantic and Django](https://github.com/facebook/pyrefly), so those work without plugins. It reads an existing mypy or Pyright config, so you can [try it alongside your current checker](https://pyrefly.org/en/docs/compare/#try-it-alongside-your-current-checker) before you switch. +Pyrefly is a type checker and language server with [built-in support for Pydantic and Django](https://github.com/meta/pyrefly), so those work without plugins. It reads an existing mypy or Pyright config, so you can [try it alongside your current checker](https://pyrefly.org/en/docs/compare/#try-it-alongside-your-current-checker) before you switch. ty is a type checker and language server [designed for adoption](https://docs.astral.sh/ty/) on partly typed code. Unlike mypy, it [checks the bodies of unannotated functions](https://docs.astral.sh/ty/coming-from-mypy-or-pyright/), and it leaves [missing-annotation checks](https://docs.astral.sh/ty/reference/typing-faq/#why-doesnt-ty-warn-about-missing-type-annotations) to Ruff's `ANN` rules.