Some Extensions for RedPandaIDE
Developers can submit Pull Requests to this repository to upload extensions. When uploading, in addition to correctly categorizing the file, you also need to fill in the file path and your nickname in extensionsList.csv.