Software

You can check the list of available software for Linux (on students server and workstations) using the commands:

  • dpkg-query -l
  • apt list --installed.

Additional software is available in the /opt directory.

Software available for Windows:

  • Adobe AIR
  • Arduino
  • Audacity 2.3.2
  • CaRMetal 3.8.3
  • Chromium
  • Dev-C++ 5 beta 9 release (4.9.9.2)
  • Dia
  • FormatFactory 4.8.0.0
  • Free Pascal 3.0.4
  • FreeCommander XE
  • FreeMind
  • GIMP 2.10.12
  • Git version 2.23.0.windows.1
  • Google Chrome
  • GPL Ghostscript
  • GSview 5.0
  • JetBrains PyCharm Community Edition 2019.1.3
  • KDiff3
  • Lazarus 2.0.2
  • LEGO MINDSTORMS EV3
  • Microsoft Azure Compute Emulator - v2.9.6
  • Microsoft Azure Storage Emulator - v5.9
  • Microsoft Visual Studio 2010 Tools for Office Runtime (x64)
  • MiKTeX 2.9
  • Mozilla Firefox 84.0.1 (x64 pl)
  • Mozilla Maintenance Service
  • Mozilla Thunderbird 60.8.0 (x86 pl)
  • Notepad++ (64-bit x64)
  • Opera Stable 73.0.3856.284
  • PicosmosTools 2.4.0.0
  • R for Windows 3.6.1
  • RStudio
  • SeaMonkey 2.49.4 (x86 pl)
  • Sublime Text 3
  • TeXnicCenter Version 2.02 Stable
  • Unity
  • VideoPad Video Editor
  • Vim 8.1 (self-installing)
  • VirtualCloneDrive
  • Visual Studio Enterprise 2019
  • VLC media player
  • WinSCP 5.15.3
  • Wolfram Mathematica 10