CircuitPython support for the Badger2350 is official now: Downloads
Nice thing about it, I can run all my programs I wrote for previous badgers with minimal changes (mainly pin-definitions), e.g. this is my clock application that I already have running on various Badger2040 and Badger2040W:
There is a big caveat though: mainline CircuitPython (and btw. mainline MicroPython also) does not yet support low power states for the RP2350, so it will drain the battery fast.