It might have been MakeCode Arcade. A few more boards like the PyBadge and PyGamer are listed as supported there, Along with appears to be support for the M4 family of boards as well.
A quick search also turned up EduBlocks, a block program editor that supports CircuitPython so in theory should run on most of Adafruit's current boards.
I don't know what they sent you specifically, but those are a couple I am aware of or could quickly find.
https://edublocks.org/ is an educational tool that lets you start with block-based programming and eases you into python. It targets the Raspberry Pi only, but there's a similar project for Arduino.