Software

(Updated August 31, 2025)

The workstations are various models of Dell computers running Red Hat Enterprise Linux 9 with a mix of the following software:

Internet and Media Tools

• Firefox
• Chromium (Chrome was dropped from RHEL)
• Brave
• LibreOffice
• Media tools (VLC, Brasero, Cheese, etc.)

Editors and IDEs

• Emacs
• Sublime Text
• IntelliJ
• PyCharm
• VSCode
• Eclipse
• Racket
• Processing
• Gimp
• TexStudio (as AppImage)

Languages

• Java (17 & 21)
• GCC and Clang (including build tools, LLVM, etc.)
• Python
• Racket
• Processing
• Clojure/Leiningen

Other

• Wireshark
• R, R Studio
• Redshift
• QEMU
• TexInfo