theide-extension (npm): Theide is an ide for developing theos based code
Keywords: theia-extension