https://astral.sh/, the company behind Ruff and UV.
Alpha and beta releases qualify for this market. I chose "publish on PyPI" because they will almost certainly publish there when they publish anything at all.
I will not bet on this market.
1,000People are also trading
It seems that Astral is making plans for releasing an alpha version. They have created a Red Knot Alpha milestone on GitHub with due date set to 17 May 2025. As usual with software projects, it's quite likely that they will miss that deadline, but even if there are delays, there is still plenty of time till the end of the year.
Astral has been working on a type checker inside Ruff since April 2024. They are calling it "Red Knot" and you can track their progress by looking at issues and PRs labeled red-knot.