Rui CarmoVSCode is my current GUI editor of choice since 2016, and this page is an attempt at keeping track of some useful extensions/links regarding it.
Interesting Extensions
| Category | Date | Link | Notes |
|---|---|---|---|
| Debugging | 2022 | debug-visualizer | |
| Diagramming | draw.io | ||
| Notetaking | 2023 | VS Code Wiki | mostly compatible with |
| 2022 | Markdown+Math |