Gandi Plugins is a component library containing a suite of feature-enhancing plugins for Gandi-IDE. - View it on GitHub