Text Editors

There are a lot of great text editors and IDE’s for writing and programming. Here, we will list some popular ones, and ones used by our staff.

Terminal editors

Graphical editors