{% extends "main.html" %} {% block tabs %} {{ super() }}

Catch DataFrame bugs
before your code runs

Replace pl.col("age") with Users.age. Your type checker catches the rest.

Works with ty, mypy, and pyright. Supports Polars, Pandas, and Dask. No plugins. No codegen.

{% endblock %} {% block content %} {{ super() }} {% endblock %}