Software in Linux Labs


Based on departmental requests, the CAT installs a large number of software packages on supported Linux systems. The software list below also indicates which environments the software is installed in. You will need to have some knowledge of how to operate in a Linux environment – particularly in using the shell – in order to use these tools.

NOTE: The CAT is primarily involved in the installation of the software. Coaching on how to use the software and debugging your projects are beyond the scope of what the CAT can provide. Please refer to your instructor or TA and documentation they provide for guidance.

Most of the the software included in this list is installed based on faculty directives and applies to current courses being taught or research interests. This means that the versions of the software installed and whether they will continue to exist is driven by these factors. Please make sure that you are in contact with the faculty members or departments before relying on the long term use of any specific piece of software on this list.

  • CECS Labs and CS Labs are running Ubuntu Focal (20.04 LTS)
  • ECE user servers mo and auto run CentOS7 (RedHat Enterprise Linux 7 equivalent)
  • Some systems are directly accessible from off-site (Others, particularly CentOS systems and the Linux Lab systems, require the use of a VPN)

Software Available via ADDPKG

To learn how to use addpkg, see:

Software NameVersionTypeAvailability:
CECS Labs - FAB 55-17 Linux, ruby, rita
CS Labs - FAB 88-10, FAB 88-09, ada, babbage
CentOS7 - mo, auto, archive
Allegro PCB Designer (OrCad)16.6AddpkgEverywherePhilip Wong
AnacondaPython 3.7AddpkgCentOS7Ted Willke
ANSYS Electromagnetics 20.1unknownAddpkgCentOS7Branimir Pejcinovic
Apache Zeppelin0.7.2AddpkgCECS Labs, CS LabsTufte
Biogeme2.3AddpkgCECS Labs, CS LabsKelly Clifton
Cadence 171Genus, Tempus, InnovusAddpkgCentOS7patwary
Cadence 181Virtuoso, SpectreAddpkgCentOS7patwary
Cadence 191Genus 191, Innovus 191, Modus 201, SSV 191AddpkgCentOS7patwary
Chapel1.18.0AddpkgCECS Labs, CS LabsJingke Li
Chapel1.20.0AddpkgCECS Labs, CS LabsJingke Li
Chapel1.23.0AddpkgCECS Labs, CS LabsJingke Li
Coq8.8.1AddpkgCECS Labs, CS LabsTolmach
CUDA Libraries10AddpkgCECS Labs, CS Labs
CUDA Libraries for applications such as tensorflow9AddpkgCECS Labs, CS Labs
D-Flow Flexible Mesh1.2.100.66357AddpkgCECS Labs, CS LabsDavid Jay
D-Flow Flexible Mesh1.1.171AddpkgCECS Labs, CS LabsDavid Jay
D-Flow Flexible Mesh2021.03AddpkgCECS Labs, CS LabsDavid Jay
Delft3D6906AddpkgCECS Labs, CS LabsDavid Jay
Dinero Trace-Driven Uniprocessor Cache SimulatorIVAddpkgCECS Labs, CS LabsFaust
Eclipse IDE for C/C++ Developers2019-12AddpkgEverywhere
GCC Cilk4.8.0AddpkgCECS Labs, CS Labs
Generic proof assistant2013AddpkgEverywhereJones
Glasgow Haskell Compiler, latest added version8.4.3AddpkgCECS Labs, CS LabsTolmach
GNU CobolunknownAddpkgCECS Labs, CS Labswarren
Hercules 3.13unknownAddpkgCECS Labs, CS Labswarren
HPCToolkit2019.08.14AddpkgCECS Labs, CS Labskaravan
IBM APL22.0 SL 14AddpkgCECS Labs, CS LabsYork
Intellij Java IDE by jetbrainscommunity edition 2020.2AddpkgCECS Labs, CS Labskarlaf
Iron Spring PL/I CompilerunknownAddpkgCECS Labs, CS Labswarren
Java SE Development Kit 81.8.0AddpkgEverywhere
Kics0.5.0AddpkgCECS Labs, CS Labs
Kotlin1.4.20AddpkgCECS Labs, CS Labsapt
Maven3.6.1AddpkgCECS Labs, CS Labswhitlock
Mentor Flothermv93AddpkgCECS Labs, CS LabsWong
Mentor Precision 2019.2.1unknownAddpkgCentOS7
Mentor Pyxisv18.1AddpkgCentOS7
Mentor Questa2019.2_1AddpkgCentOS7faustm
Mentor Questa ADMS15.4.1AddpkgCentOS7pkwong
Mentor Tessent2017_4AddpkgCentOS7
minigrace - A compiler for the Grace languageunknownAddpkgCECS Labs, CS LabsBlack
Ngspice version (testing)26AddpkgEverywhereChristof Teuscher
Nvidia HPC2021.212AddpkgCECS Labs, CS Labs
OpenJDK 16.0.1 + Maven 3.8.1unknownAddpkgEverywhere
OpenJDK Java 12 Development Kit12.0.1AddpkgEverywhere
Pakcs2.2.1AddpkgCECS Labs, CS LabsAntoy
Portland Group Compiler 201919.1AddpkgEverywherekaravanic
Questa CDC Formal10.7bAddpkgCentOS7Schubert
Racket6.11AddpkgCECS Labs, CS Labs
RISC-V GNU Toolchain9.2.0AddpkgCECS Labs, CS LabsFaust
Scala (java8 package recommended)2.12.3AddpkgCECS Labs, CS LabsTolmach
Software for ECE 510 FPVSchubertAddpkgCentOS7schubert
swift4.0.3AddpkgCECS Labs, CS Labs
SynaptiCAD software including Verilogger16.04dAddpkgEverywhereFaust
SYNOPSYS Core Tools2017AddpkgCentOS7
SYNOPSYS Design CompilerQ-2019.12-SP3AddpkgCentOS7
SYNOPSYS DFT Compiler, with Tetramax Overlay2016AddpkgCentOS7Xiaoyu Song
SYNOPSYS Formality2017AddpkgCentOS7
SYNOPSYS Formality ESP2017AddpkgCentOS7
SYNOPSYS IC Compiler2017AddpkgCentOS7
SYNOPSYS IC Compiler 2Q-2019.12-SP4AddpkgCentOS7
SYNOPSYS IC Validator2017AddpkgCentOS7
SYNOPSYS IC Validator2019.12-SP2-4AddpkgCentOS7Cruikshank
SYNOPSYS PrimetimeO-2018.06AddpkgCentOS7
SYNOPSYS SentaurusR_2020.09-SP1AddpkgCentOS7
SYNOPSYS Tetramax2016AddpkgCentOS7
SYNOPSYS Tools 2019-06unknownAddpkgCentOS7
SYNOPSYS VCSR-2020.12AddpkgCentOS7
SYNOPSYS VerdiR-2020.12-1AddpkgCentOS7
Visual TORCS server2017-02AddpkgCECS Labs, CS Labs

System Software – installed in Ubuntu Linux Labs

Software NameVersionTypeAvailability:
CECS Labs - FAB 55-17 Linux, ruby, rita
CS Labs - FAB 88-10, FAB 88-09, ada, babbage
automake1.16.1SystemCECS Labs, CS Labs
awesome4.3SystemCECS Labs, CS Labs
bison3.5.1SystemCECS Labs, CS Labs
byobu5.133SystemCECS Labs, CS Labs
bzr3.0.2SystemCECS Labs, CS Labs
cabal2.4.0.0SystemCECS Labs, CS LabsTolmach
CMake3.16.3SystemCECS Labs, CS Labs
Coq8.11SystemCECS Labs, CS LabsTolmach
cuda11.0SystemCECS Labs, CS Labs
dolphin19.12.3SystemCECS Labs, CS Labs
emacs2626.3SystemCECS Labs, CS Labs
ffmpeg4.2.4SystemCECS Labs, CS Labs
fish3.1.0SystemCECS Labs, CS Labs
gcc9.3.0SystemCECS Labs, CS Labs
gdb9.2SystemCECS Labs, CS Labs
ghc (Haskell)8.6.5SystemCECS Labs, CS LabsTolmach
gimp2.10.18SystemCECS Labs, CS Labs
Git2.17.1SystemCECS Labs, CS Labs
gnat10.0.1SystemCECS Labs, CS Labs
gnome-shell3.36.4SystemCECS Labs, CS Labs
GNU Clisp2.49.92SystemCECS Labs, CS Labs
Golang (Google Go)Go1.10.4SystemCECS Labs, CS Labs
gperf3.1SystemCECS Labs, CS Labs
gpg2.2.19SystemCECS Labs, CS Labs
HDF51.10.4SystemCECS Labs, CS LabsKaravanic
hugs (98)98.200609.21-5.4SystemCECS Labs, CS Labs
i34.17.1SystemCECS Labs, CS Labs
inkscape0.92.5SystemCECS Labs, CS Labs
jq1.6SystemCECS Labs, CS Labs
LLVM / CLANG10.0.0SystemCECS Labs, CS LabsJones
mercurial5.3.1SystemCECS Labs, CS Labs
mosh1.3.2SystemCECS Labs, CS Labs
nasm2.14.02SystemCECS Labs, CS Labs
nodejsv16.8.0SystemCECS Labs, CS Labs
NVIDIA CUDA development toolkit11.0.2SystemCECS Labs, CS LabsKaravanic/Teuscher
ocaml4.08.1SystemCECS Labs, CS Labs
openbox3.6.1SystemCECS Labs, CS Labs
opencv4.2.0SystemCECS Labs, CS Labs
openjdk-11-jdk11.0.8SystemCECS Labs, CS Labs
Oracle VM Virtualbox5.2.32SystemCECS Labs, CS Labs
orca3.36.2SystemCECS Labs, CS Labs
perl5.30.0SystemCECS Labs, CS Labs
PHP7.4.3SystemCECS Labs, CS Labs
pigz2.4SystemCECS Labs, CS Labs
plasma-desktop5.18.5SystemCECS Labs, CS Labs
Python2.7 (deprecated)2.7.18rc1SystemCECS Labs, CS Labs
Python3.63.8.2SystemCECS Labs, CS Labs
QEMU emulator4.2.0SystemCECS Labs, CS LabsMorrissey
R4.0.2SystemCECS Labs, CS Labs
radare24.2.1SystemCECS Labs, CS LabsWu-Chang Feng
RCS5.9.4SystemCECS Labs, CS Labs
remmina1.4.2SystemCECS Labs, CS Labs
Robot Operating System (ROS)2SystemCECS LabsPerkowski
RR - Debugger5.3.0SystemCECS Labs, CS LabsWu-Chang Feng
Rstudio1.3.1056SystemCECS Labs, CS Labs
ruby2.72.7.0SystemCECS Labs, CS Labs
SBCL - Steel Bank Common Lisp2.0.1SystemCECS Labs, CS Labs
subversion1.13.0SystemCECS Labs, CS Labs
suckless-tools44-1SystemCECS Labs, CS Labs
tex3.14159265SystemCECS Labs, CS Labs
tigervnc-server1.10.1+dfsg-3SystemCECS Labs, CS Labs
tmux3.0a-2SystemCECS Labs, CS Labs
urxvtv9.22SystemCECS Labs, CS Labs
valgrind3.15.0SystemCECS Labs, CS Labs
vim-gtk38.1.2269SystemCECS Labs, CS Labs
virtualenv20.0.17SystemCECS Labs, CS Labs
Visual Studio Code1.48.2SystemCECS Labs, CS Labs
vlc3.0.9.2-1SystemCECS Labs, CS Labs
weechat2.8SystemCECS Labs, CS Labs
wget1.20.3SystemCECS Labs, CS Labs
wireshark3.2.3SystemCECS Labs, CS Labs
xfce44.14SystemCECS Labs, CS Labs
xmobar0.29.4SystemCECS Labs, CS Labs
youtube-dl2020.03.24SystemCECS Labs, CS Labs
zenity3.32.0SystemCECS Labs, CS Labs
znc1.7.5-4SystemCECS Labs, CS Labs