KiCad boards from 1 GitHub repository tagged “at32”, the most starred first; open any of them in PCBKit.
FASTSHIFT/DutyCycle
Work-Life Duty Cycle Clock