[gnu-soc] To get involved with GNU Aris

[Robin Roy]

Hi, I'm Robin and I'd like to get involved with the GNU Aris project.

Could you guide me on where I could find the code repository for the project and proceed further? 

I found this repo https://github.com/kovzol/aris but I'm not sure if this is the official one.