Disclamer I'm really no expert when it come to tilapia and catfish.
From a quick search, it seem stocking rules for tilapia are either 2-3 fish per square meter of surface or 1 kg of fish per 10 gallon of water (this seem quite a heavy population if you ask me) source and source. I would check against both rule and use the lower one. Using the surface rule, it give about 250-375 adult fish for your pond. It also depend on the specific race you grow since they seem to vary quite a bit from race to race (600g to 2.7kg)
Tilapia are cichlids so the population density need to be high enough to reduce aggression from dominant male on the others. The water must not be flowing and be sure to check your local regulation on them since they are considered a pest in nature because they reproduce quite fast and are hardy fish.
My quick research on catfish seem to show that they need much bigger pond. They were talking acre size so I would put that idea on the back burner. Maybe someone more experienced can prove me wrong.