3 ms·Really? Any GitHub?by ngcc_hk 4y agoReally? Any GitHub?stopachka 4y agoThis was an accompaniment I wrote, to encode and decode godel numbers: https://github.com/stopachka/godel-numbers https://github.com/stopachka/godel-numbers