Here are my suggestions:
As this forum would be mainly for communication between the users and the devs (communication between devs happen mostly on Github and Mattermost), I’m not sure if we should add the following categories:
What do you think ?
Sure!
Bug Report
Bug reports should go to Github issues.
Software that runs on Redox (we should find a shorter name)
Porting?
I agree, but some users don’t have Github accounts. But Redox is in early development so I think it is okay to assume that the majority of users are developers.
Porting is too specific IMO, I also want to include software that is meant to run on Redox from the start
Maybe “Programs”, “Userspace”, “Ecosystem”?
#bikeshed
I agree with “Programs”. “Userspace” is good too, but I don’t think it is clear for everyone.
The thing is, what if we’re also talking about kernel space, native to Redox? I still think “native” or “ecosystem” or “native ecosystem” are better.
“Redox Software”?
This could imply that it is software for developers, but “ordinary” users would assume it is software for Redox (native or ports does not matter for user?) – its like “Windows Software”, “Linux Software”
Agreed. Probably just call it “Software on Redox”, or something like that.
I edited the original post with Software on Redox 
Working on Categories now