No. These where made by me in FL Studio, using mainly RP2A03 (NES soundchip vst by SocaLabs),Vital (synth by Vital Audio) and a few other vsts for final touches. The video below shows some details of it.
Hope that clarifies it and thanks for commenting :)