Dépôts de redcode

2 dépôts publics de redcode au catalogue, du plus étoilé au moins étoilé.