Dépôts de theia-ide

3 dépôts publics de theia-ide au catalogue, du plus étoilé au moins étoilé.

Voir theia-ide sur GitHub