Padre-Plugin-Ecliptic is a Padre repository