These are Topokki style noodles made by a Korean company called ypfoods. ‘YOPOKKI’ is named after a Korean word ending –yo, to emphasize simple and tasteful Topokki. They are made in Korea in two factories.
Most of their products are pretty similar.

I got these for AUD$1.00, they are usually about $3.00