Edit: Found it, in case anyone else is interested: https://github.com/redox-os/redox/blob/master/CONTRIBUTING.m...
led me to multiple interesting websites
tweak the terms for more results, of course
Reply on news.ycombinator.com