piCorePlayer IR remote

Hi, is it possible to make these work as a remote in picoreplayer?

reichelt.de/entwicklerboards-mini-fernbedienung-schwarz-38-khz-debo-irc-01
reichelt.de/entwicklerboards-ir-empfaenger-38-khz-debo-ir-38khz

Do you have any suggestions what's the easiest way to do it? Most of articles about this topic are either outdated or really confusing..