Software

Requisitos de Software

Pedidos para instalação de novo software nos laboratórios do DEI na Alameda podem ser enviados para rnl@rnl.tecnico.ulisboa.pt.

Docentes que queiram garantir que o software necessário está disponível durante o ano lectivo devem enviar os seus requisitos nos meses de Junho e Julho. Para requisitos feitos fora deste período não é garantida a capacidade de fornecer o software antes do início das aulas.

A equipa da RNL só faz os testes básicos para garantir que o software é capaz de ser iniciado. Testes mais específicos devem ser feitos pelos docentes ou agendados com a equipa.

Software marcado a vermelho será removido se não for feito pedido para manter. Restante software será atualizado para as versões mais recentes se não for feito pedido para manter versões anteriores.

Lista de software instalado nos laboratórios

Linguagens (compiladores + bibliotecas e ferramentas relacionadas)

Linux

• Alloy
• Event-B (Rodin)

• C / C++
  • Compilers
    • GCC 4.8.5
    • GCC 5.5.0
    • GCC 8.4.0
    • GCC 10.1.0
    • Clang 10
  • Libraries + Tools
    • boost 1.5.4.0
    • Eigen 3.2.0
    • Atlas 3.10.1
    • bison 2.7
    • byacc 1.9
    • flex 2.5
    • papi 5.5
    • nasm 2.10
    • yasm 1.2
    • openfst 1.5
    • SDL 1.2.15
• Docker + docker-compose
  Ver Como correr o Docker?
• Java
  Ver Que versões do Java estão disponíveis e como as posso usar?
  • Compilers
    • OpenJDK 7
    • OpenJDK 8
    • OpenJDK 11
    • OpenJDK 14
  • Libraries + Tools
    • JUnit 4.11
    • antlr 2.7.7
    • aspectj 1.8
    • javacc 5.0
    • juddi 3.3
    • Apache JMeter 3.3
    • Gradle 4.6
• Julia 1.5.3
• Logisim
• C# (mono)
• Python (versões 2.7 e 3.4) Ver Que versões do python estão disponíveis e como as posso usar?
  • IPython
• Perl v5.18
• Common Lisp
  • Steel Bank Common Lisp (SBCL) 1.2
  • CLISP 2.49
• Scheme
  • Racket 5.3.6
• Prolog
  • SWI Prolog 7.2
• PHP 5.5
• Processing 2.0
• OCAML 4.02
• Haskell 2013.2.0.0
• NodeJs (5.4)
• Ruby 2.1
  • Ruby on Rails (3.2.13)
• Rust
  • Cargo 1.46.0
  • Rustc 1.47.0

Windows

• Alloy

• C / C++
  • Visual C++ 2019 (Visual Studio 2019)
• Java
  • Oracle Java Development Kit 8
• C#
  • Visual C# 2019 (Visual Studio 2019)
• F#
  • Visual F# 2019 (Visual Studio 2019)
• Python (versões 2.7.17 e 3.8.1)
  • ActivePython 2.7 e 3.6
• Lisp
  • sbcl 1.4.2
• Prolog
  • SWI Prolog 7.6.4
• Dafny 2.1.1
• Processing 3.5.3
• Tcl
• Scheme
  • Racket 7.6

Ferramentas Auxiliares de Desenvolvimento

Linux

• gdb 7.11
• make 4.0
• ddd 3.3
• valgrind 3.11
• jdb 1.8
• ant 1.9
• maven 3.3
• autogen 5.18
• automake 1.13
• cmake 3.5
• webalizer 2.23

Windows

• maven 3.5.4

Ferramentas para Controlo de Versões

Linux

• GIT 2.6
• Mercurial 4.3.1
• SVN 1.9
• CVS 1.12
• Bazaar 2.7

Windows

• GIT

IDEs (+ plugins)

Linux / Windows

• NetBeans IDE 8

Linux

• Wing IDE 101
• Android Studio 4.4.2
• MonoDevelop 3
• Eclipse Oxygen 2(especializado para as disciplinas de ES e SD)
  • C/C++ Development Tools (inclui Valgrind e gdb)
  • CVS, SVN, EGit, Mercurial
  • JavaScript Tools, Lua Tools, Node IDE, Ruby Tools, Scala Tools
  • Java EE Developer Tools (inclui JPA, JSF, Mylyn, Git2, Ant, Maven)
  • findbugs
  • Checkstyle (java -jar /opt/checkstyle/checkstyle-6.10-all.jar)
  • Texlipse
• IntelliJ Idea Community Edition

Windows

• Visual Studio 2019 Community Edition
• Wing IDE 101 7.2.1
• Eclipse Photon 4.8.0
• Android Studio 4.4.2
• Arduino IDE
• Visual Studio Code

Editores (vários)

Linux / Windows

• geany 1.36
• vim 8.2.260

Linux

• neovim 0.6.1
• emacs 26.1.0
• LibreOffice 5.1
• kate 16.08
• gedit 3.16
• nano 2.4.2
• gobby 0.5
• lyx 2.3.3
• Kile 2.1.3
• Atom 1.53
• Visual Studio Code
• Jupyter

Windows

• Microsoft Office 365
• Notepad++

Frameworks (vários)

Windows

• .NET Framework 4.7.2

Edição / Publicação Científica (Tex/LaTeX)

Linux / Windows

• lyx 2.2.3

Linux

• texlive
• kile 2.1

Windows

• TeXnicCenter
• Pandoc

Outras Ferramentas

Linux / Windows

• Blender 3D 2.79

Linux

• atool
• OpenSSH 6.6, OpenSSL 1.0
• GnuPG
• Gnuplot 5.0
• NetLogo 5.3
• wget 1.14, curl 7.37
• nmap
• libvirt, KVM+QEMU 2.3 O libvirt não está configurado para os utilizadores, para qualquer uso além do trivial é necessário entrar em contacto com a equipa da RNL
• Sistema de Virtualização Este sistema de virtualização serve para os docentes correrem software encapsulado do restante ambiente, devem ser consultadas as condições de uso
• Graphviz 2.38
• MozillaThunderbird 2.38
• gns3 1.3
• Zoom 5.3

Windows

• Putty
• 7-Zip
• Kerberos 3.2.2
• OpenAFS 1.7.31
• Git Bash

Browsers

Linux

• Chromium 61.0
• Firefox 52.4

Windows

• Google Chrome
• Mozilla Firefox
• Internet Explorer 11

Bases de Dados

Linux / Windows

• PostgresSQL 12
  • pgAdmin4 4.18
• Sqlite 3.24.0
  • DB Browser for SQLite 3.10.1
  • SqliteMan 1.2.2 Ver DB Browser for SQLite

Linux

• MySQL
  • MySQL 15.1 Nota: usar os comandos mysql-local-{start,stop,client,help} para controlar uma instância local de MySQL. Por exemplo, para iniciar o servidor, correr o comando mysql-local-start.

Arquitectura de Computadores / Sistemas Operativos

Linux

• P3
• P4
• dineroIV 7
• TinyOS
• WINE 1.8
• Fuse 2.9.4
• Intel Pin Tool + exemplos
• Intel Quartus Prime, Lite Edition

Windows

• WinMIPS 1.57

Computação Paralela

Linux

• OpenMPI 3.1.3(disponível a partir do cluster da RNL)
• ompp 0.8.5
• Intel VTune Profiler 2022.1.0
• HTCondor (disponível a partir do cluster da RNL)
• Apache Hadoop 2.7 (disponível a partir do cluster da RNL)

Computação Numérica

Windows

• MATLAB R2018b
  Inclui package Processing and Computer Vision

Multimédia (áudio, vídeo)

Windows

• K-Lite Codecs
• VirtualDub
• GIMP 2.10
• Inkscape 0.92.4

Linux

• Transcode
• MPlayer+MEncoder 4.8
• openSMILE
• sox 14.4
• libsndfile

Linux / Windows

• ffmpeg 4.2.2
• Audacity
• VLC Media Player (VideoLAN) 3.0.8

Datamining / Information Extraction / Machine Learning

Linux / Windows

• Weka 3.6.9
• Decision Tools Suite 7.6 Removido se não for feito pedido para manter

Linux

• Biggests 1.0.5 Será removido se não for feito pedido para manter
• Genesis 1.8.1
• M-MACBETH 3.1.0 Beta
• PROBE
• NumPy+SciPy
• matplotlib
• scikit-learn
• scikit-rebate