Software

Última actualização da lista: 24 de Agosto 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
      • OpenJDK 8
      • OpenJDK 11
    • 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++ 2017 (Visual Studio 2017)
  • Java
    • Oracle Java Development Kit 8
  • C#
    • Visual C# 2017 (Visual Studio 2017)
  • F#
    • Visual F# 2017 (Visual Studio 2017)
  • Python (versões 2.7.15 e 3.7.0)
    • ActivePython 2.7 e 3.6
  • Perl
    • ActivePerl 5.24.1
  • Lisp
    • sbcl 1.4.2
    • clisp 2.49
  • Prolog
    • SWI Prolog 7.6.4
  • Dafny 2.1.1
  • Processing 3.3.7
  • Haskell
  • Tcl
  • Scheme
    • Racket 7.0

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
    • git
  • 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.3.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 2017 Community Edition
  • Wing IDE 101 6.0.12
  • Eclipse Photon 4.8.0
  • Android Studio 3.1
  • Arduino IDE

Editores (vários)

Linux / Windows

  • geany 1.33
  • emacs 26.1.0
  • vim 8.0.604

Linux

  • LibreOffice 5.1
  • 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

  • Microsoft Office 2016

    • Indisponível temporariamente

  • Notepad++

Frameworks (vários)

Windows

  • .NET Framework 4.7.2

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

Linux / Windows

  • texlive
  • lyx 2.2.3

Linux

  • kile 2.1

Windows

  • MiKTex
  • TeXnicCenter
  • Pandoc

Outras Ferramentas

Linux / Windows

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

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
  • 7-Zip
  • Kerberos 3.2.2
  • OpenAFS 1.7.31
  • Mozilla Thunderbird 60.0
  • FileZilla
  • WinSCP
  • Git Bash
  • Cygwin64

Browsers

Linux

  • Chromium 61.0
  • Firefox 52.4

Windows

  • Google Chrome
  • Mozilla Firefox
  • Internet Explorer 11

Bases de Dados

Linux / Windows

  • PostgresSQL 10.4.0.0
    • pgAdmin4 3.1
  • 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
  • dineroIV 7
  • TinyOS
  • WINE 1.8
  • Fuse 2.9.4
  • Intel Pin Tool + exemplos

Windows

  • WinMIPS 1.57

Computação Paralela

Linux

  • OpenMPI 3.1.3 (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

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

Linux

  • Transcode

Linux / Windows

  • ffmpeg 4.0.1
  • MPlayer+MEncoder 4.8
  • openSMILE
  • sox 14.4
  • Audacity
  • VLC Media Player (VideoLAN) 3.0.3
  • 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 7.5.1 Removido se não for feito pedido para manter

Datamining / Information Extraction / Machine Learning

Linux / Windows

  • Weka 3.6.9
  • 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 7.5.1

Linux

  • NumPy+SciPy
  • matplotlib
  • scikit-learn