This is an Eclipse update site.
You may add it to your favorite Eclipse: https://glhez.github.io/eclipse-plugins/