This repository includes some BadUSB scripts. Currently I own only Teensy 4.1 so scripts will be only for it unless I get new devices
For flashing your teensy board you need Arduino IDE (not MS store one), Teensyduino and teensy board (obviously :D)