Contents
- 1 Requisitos de Software
- 2 Lista de software instalado nos laboratórios
- 2.1 Linguagens (compiladores + bibliotecas e ferramentas relacionadas)
- 2.2 Ferramentas Auxiliares de Desenvolvimento
- 2.3 Ferramentas para Controlo de Versões
- 2.4 IDEs (+ plugins)
- 2.5 Editores (vários)
- 2.6 Frameworks (vários)
- 2.7 Edição / Publicação Científica (Tex/LaTeX)
- 2.8 Outras Ferramentas
- 2.9 Browsers
- 2.10 Bases de Dados
- 2.11 Arquitectura de Computadores / Sistemas Operativos
- 2.12 Computação Paralela
- 2.13 Computação Numérica
- 2.14 Multimédia (áudio, vídeo)
- 2.15 Datamining / Information Extraction / Machine Learning
Legenda:
- novo
- actualizado
- sem alterações
removido
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.
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
- Compilers
- 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
- Compilers
- 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
SchemeRacket 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)
Nota: no caso do eclipse os ambientes podem ser configurados de acordo com o interesse de cada disciplina. Neste sentido agradecemos que nos comuniquem em detalhe o que necessitam.
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
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.2Ver 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 comandomysql-local-start
.
- MySQL 15.1 Nota: usar os comandos
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.8openSMILE- 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.6Removido se não for feito pedido para manter
Linux
Biggests 1.0.5Será removido se não for feito pedido para manter- Genesis 1.8.1
- M-MACBETH 3.1.0 Beta
- PROBE
- Decision Tools Suite 7.6
- NumPy+SciPy
- matplotlib
- scikit-learn
- scikit-rebate