This is a simple project for a Raspberry Pi that aims to bridge the gpio-ir interface with a HID device.
There are 3 parts to the project, the gadget configuration part, the server to manage the mappings and the actual python daemon that will trigger the actual keystrokes in the connected PC.
To install the project a blank RaspberryPiOS image is required. Unfortunatelly the usb-ethernet (RNDIS) driver is not working for the 64bit OS.
You can find it here: https://www.raspberrypi.org/downloads/raspberry-pi-os/
The system expects the TSOP4838 to be connected in PIN 14, it can be changed after install by editing /boot/config.txt.
wget -O - https://raw.githubusercontent.com/hkfuertes/hklirc/master/hklirc-installer.sh | sudo bash