Software

Última actualização da lista: 8 de Março de 2018.
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 / Windows

  • Alloy
  • Event-B (Rodin)

Linux

  • C / C++
    • Compilers
      • GCC 4.8.5
      • GCC 5.3.1
      • clang 3.7
    • 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
  • Java
    Ver Que versões do Java estão disponíveis e como as posso usar?

    • Compilers
      • openJDK 7
      • Oracle jdk 8
    • 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
  • 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)

Windows

  • C / C++
    • Visual C++ 2012 (Visual Studio 2012)
  • Java
    • Oracle Java EE 7 (SDK)
    • JUnit 3.8.2
    • JUnit 4.10
  • C#
    • Visual C# 2012 (Visual Studio 2012)
  • F#
    • Visual F# 2012 (Visual Studio 2012)
  • Python
    • ActivePython 2.7.2 e 3.2.2
  • Perl
    • ActivePerl 5.16.3
    • ActivePerl 5.24.1
  • Lisp
    • sbcl 1.1.12 Será removido se não for feito pedido para manter
    • clisp 2.49
  • Prolog
    • SWI Prolog 6.2.6
  • PHP 5.3 em MS IIS 7 (necessário pedido prévio com lista de alunos)
  • Processing 2.0.1
  • Processing 2.1.1
  • Octave 3.6.4 for Visual Studio
  • OCAML 4.0.1
  • OCAML 4.02.3
  • Haskell 2013.2.0.0
  • Tcl

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

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
    • TortoiseGit Será removido se não for feito pedido para manter
    • git
  • Mercurial
    • TortoiseHG (with Mercurial) Será removido se não for feito pedido para manter
  • SVN
    • TortoiseSVN Será removido se não for feito pedido para manter
  • CVS
    • TortoiseCVS Será removido se não for feito pedido para manter
  • Bazaar
    • Bazaar

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 3.0.1
  • 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 2012 Ultimate
  • Ms XNA Game Studio 4.0 (apenas instalado se efectuado o pedido)
  • Wing IDE 101 5.5.0.9
  • Eclipse Mars (especializado para as disciplinas de ES e SD)
    • C/C++ Development Tools (inclui Valgrind e gdb)
    • CVS, SVN, EGit, Mercurial
    • Lua Tools, Ruby Tools
    • Java EE Developer Tools (inclui JPA, JSF, Mylyn)
    • findbugs
    • Google Suite Plugin
    • Checkstyle
    • JBoss Tools
    • Texlipse
  • Eclipse Kepler (uso geral)
    • C/C++ Development Tools (inclui Valgrind e gdb)
    • Lua Tools, Ruby Tools
    • Java EE (inclui JPA, JSF, Mylyn) (Java)
    • findbugs
    • CVS, SVN, EGit, Mercurial
    • Android Development Tools
    • Android SDK
    • Mylyn
    • Eclipse Modeling Framework (EMF)
    • Plugin Development Environment (PDE)
    • Texlipse
  • Android Studio 4.0.2
  • Arduino IDE Será removido se não for feito pedido para manter

Editores (vários)

Linux / Windows

  • LibreOffice 5.1
  • GIMP 2.8
  • Inkscape 0.91
  • geany 1.29
  • emacs 24.3.1
  • vim 7.4

Linux

  • kate 16.08
  • gedit 3.16
  • nano 2.4.2
  • gobby 0.5
  • lyx 2.2.1
  • Kile 2.1.3
  • Atom 1.8
  • Visual Studio Code
  • Jupyter

Windows

  • Ms Office 2013
  • Ms Project 2013
  • Ms Visio 2013
  • Enterprise Architect 10
  • Notepad++

Frameworks (vários)

Windows

  • .NET Framework 2.0, 3.5, 4.5

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

Linux / Windows

  • texlive
  • lyx 2.1

Linux

  • kile 2.1

Windows

  • MiKTex
  • texniccenter

Outras Ferramentas

Linux / Windows

  • OpenSSH 6.6, OpenSSL 1.0
  • GnuPG
  • Gnuplot 5.0
  • NetLogo 5.3
  • Blender 3D 2.76

Linux

  • 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

Windows

  • Putty

Browsers

Linux

  • Chromium 61.0
  • Firefox 52.4

Windows

  • Google Chrome
  • Mozilla Firefox
  • Internet Explorer 10

Bases de Dados

Linux / Windows

  • PostgresSQL 9.4.15
    • pgAdmin3 1.16.1
  • Sqlite 2.8.17 e 3.8
    • DB Browser for SQLite 3.7.0
    • 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
  • dineroIV 7
  • TinyOS
  • WINE 1.8
  • Fuse 2.9.4
  • Intel Pin Tool + exemplos

Windows

  • WinMIPS 1.57

Computação Paralela

Linux

  • OpenMPI 1.8 (disponível a partir do cluster da RNL)
  • ompp 0.8.5
  • 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 R2015b

Multimédia (áudio, vídeo)

Windows

  • KLite Será removido se não for feito pedido para manter
  • VirtualDub Será removido se não for feito pedido para manter
  • AviSynth Será removido se não for feito pedido para manter

Linux

  • Transcode

Linux / Windows

  • ffmpeg 3.1
  • MPlayer+MEncoder 4.8
  • openSMILE
  • sox 14.4
  • Audacity
  • VLC Media Player (VideoLAN) 2.2
  • libsndfile

Datamining / Information Extraction / Machine Learning

Linux / Windows

  • Weka 3.1.1 Será removido se não for feito pedido para manter
  • Biggests 1.0.5 Será removido se não for feito pedido para manter
  • Genesis 1.7.7 Será removido se não for feito pedido para manter
  • M-MACBETH 3.1.0 Beta
  • PROBE
  • Decision Tools Suite

Linux

  • NumPy+SciPy
  • matplotlib
  • scikit-learn