Hi, Fabio
If you look at hpc gears and the T5 pulleys it will give you
the sizes for PCD and pulley OD .
https://www.hpcgears.com/
The calculation is for example your 80 tooth pulley is
80x 5 = 400 divided by Pi 127.33mm = PCD
127.33 – 0.83 = 126.50 mm pulley OD.
Looking here will give you the pulley tooth belt profile.
https://us.misumi-ec.com/vona2/detail/110300406820/
——————-
An article Form relieved toothed belt cutters published
MEW 164 June 2010 shows toothed belt cutters
made using the Eureka form relieving tool which may be
of some interest.
I have recently done something similar using a ground fly
cutting tool to cut 1/5 XL pulleys the photo here
shows a 66 tooth pulley being flycut / hobbed
takes about 4 minutes to cut all the teeth.
A gear tooth caliper is a useful thing to have when grinding
these sort of profiles ,they can be had from China these days
for around £25.
John