SpaceGroupIrep: tool set for irreducible representations of space group, https://community.wolfram.com/groups/-/m/t/2237563 might have what you need.
I noticed a wonderful example, as commented here.
