Coffee machine
They can enjoy their rest using coffee machine, ice maker, and toaster.
Ice maker
Toaster
Gvim for Win32
Command-based Editor for Programmer
Aspell for Win32
Command-line tool for spell checker
Serif Font: Cambria by Microsoft
Sans Font: Titillium Web by Google
Mono Font: JetBrains Mono
LaTeX
LaTeX is a sort of typesetting system for structured documentation, which is widely used in writing formal paper such journals and conference papers.
MinGW
Win32 pre-compiled version of gcc compiler, is widely used due to easy installation. All command options are equivalent to gcc in linux.