Not sure if it's what you're looking for, but lirc has a database. Instructions for contributing files can be found here, files should adhere to the checklist here.
I'm setting up a media PC for my TV using refurbished hardware. The biggest pain right now is controlling the interface. I got one of those cheap keyboards with trackpads but they stopped working in a month. Reading this post makes me wonder if I can reuse one of the old IR remotes lying around in my home. Generating shortcut keys and binding them might be easy but what can be done for text/voice to text input?
Raspberry Pi having HDMI HEC put an end to me using those crappy remotes, now I just use my TV remote to control Kodi running on the rpi. I think there are adapters you can buy that will do it as well.
I'll have to read up on what you mean using IR remotes to control a Pi through HDMI HEC. The computer I'm using has an DP output that I've used an adapter to feed to my TV HDMI. So I may not be able to use your setup. But it sounds novel and interesting so I would definitely like to learn more. Thanks.
I came across a reference to kdeconnect while reading related stuff but I really looked it up after your comment. I'm using Debian on my machine and am currently using free version of Remote Mouse which allows very limited actions without posting. Kdeconnect sounds like it could take care of that and more. I just hope it supports two person controlling the same PC.
This will be in complimentary to a physical button IR remote that I'm aiming to implement after this post. Thanks.