Hacker News Reader

Seems you're in luck! Clicking around on the github page of the posted link, one finds https://github.com/hansake/Whitesmiths-Idris-OS .

That is just the binaries, unless I am very much mistaken. I was (trying to) refer to the sources as well

Those look like binaries, not source code?