Início do conteúdo
Lista de Softwares Instalados

Lista de Softwares Instalados

Atualização: 1/2024

Todos os Laboratórios (Lab1, Lab2, Lab3, Lab4, Lab5 e Lab6 – somente Linux)

Software Descrição Versão Linux Windows Site
7zip Descompactador de arquivos Sim Sim
Evince Visualizador de PDF Sim
Adobe Reader Visualizador de PDF
Libreoffice Suite de Escritório Sim Sim
InkScape Editor de Imagens Vetoriais Sim
Gimp Editor de Imagens Sim
VLC Mediaplayer Sim Sim
Flex Ferramentas geradora de analisadores léxicos Sim
Google Chrome Navegador Web Sim Sim
Bison Gerador de parsers YACC Sim
JavaCC Gerador de analisador sintático aberto para a linguagem Java Sim
RStudio IDE para desenvolvimento em R Sim
Anaconda Sim
VirtualBox Sim Sim
Vagrant Ferramenta que permite criar rapidamente ambientes virtuais para testes, desenvolvimento ou provisionamento de ambientes utilizando as soluções de virtualização Sim Sim Vagrant
Docker Ferramentas para criação e gerenciamento de contêineres Sim
GCC/G++ Sim
GFortran Linguagem de Programação Sim
Go Linguagem de Programação Sim
Rust Linguagem de Programação Sim
Python Linguagem de Programação Sim
Julia Linguagem de Programação Sim
Ruby Linguagem de Programação Sim
Elixir Linguagem de Programação Sim
Erlang Linguagem de Programação Sim
Haskell (GHC) Linguagem de Programação Sim
Cabal Gerenciador de pacotes para o Haskell Sim
OpenJDK Java Sim
Codeblocks IDE Sim
Gedit Editor de Texto Sim
Scite Editor de Texto Sim
Eclipse IDE Sim
Emacs Editor de Texto Sim
Vim Editor de Texto Sim
Geany Editor de Texto Sim
Sublime Editor de Texto Sim
Netbeans IDE Sim
Atom Editor de Texto Sim
VSCode Editor de Texto Sim
Visual Studio Community IDE 2019 Sim
Android Studio IDE Sim
Pychamr Community IDE Sim
Intellij IDEA Community IDE Sim
Brackets IDE Sim
Git Ferramenta para Controle de Versão Sim Sim
Dr. Memory Sim Sim http://drmemory.org
Valgrind Debugger Sim
Bibliotecas para OpenGL Sim Sim
CMake Sim Sim
Blender Sim Sim
Mars Sim
Gnuplot Sim
Octave Sim
Coq Sim
Wireshark Sim
MTR Sim
PostgreSQL Sistema Gerenciador de Banco de Dados de Código Aberto 14 Sim
MySQL Sistema Gerenciador de Banco de Dados de Código Aberto 8 Sim
Node.JS Sim
SimGrid Sim
Mindstorms Lego EV3
Unity Sim
NVDA Ferramenta de Acessibilidade Sim
ORCA Ferramenta de Acessibilidade Sim
OpenCL SDK Kit de desenvolvimento de software em OpenCL Sim
OpenMPI Biblioteca para desenvolvimento de aplicações distribuídas Sim
Quartus II Web 13.0.1.232 Sim http://fpgasoftware.intel.com/13.0/?edition=web&platform=windows&download_manager=dlm3
IDE do Arduino Plataforma de desenvolvimento do microcontrolador Arduino Sim Sim https://www.arduino.cc/en/software
JavaFX Scene Builder Prototipação de interfaces gráficas em Java Sim Sim https://gluonhq.com/products/scene-builder/
Orange Data Mining Plataforma de mineração de dados e análise estatística para a ciência de dados. 3.34 Sim Sim https://orangedatamining.com/
Weka Plataforma de aprendizado de máquina de código aberto para a mineração de dados 3.8 Sim Sim https://waikato.github.io/weka-wiki/
Portugol Studio Ambiente para aprender a programar, voltado para os iniciantes em programação que falam o idioma português. 2.7.5 Sim Sim http://univali-lite.github.io/Portugol-Studio/
PSPP Software livre para análise de dados, destinado a ser uma alternativa para o IBM SPSS 1.6.2 Sim Sim https://www.gnu.org/software/pspp/
JASP Programa de estatísticas de código aberto que é gratuito, amigável e flexível. 0.17.3 Sim Sim https://jasp-stats.org/
GAMA Platform Ambiente de simulação e modelagem de código aberto fácil de usar para criar simulações espacialmente explícitas baseadas em agentes 1.9.1 Sim Sim https://gama-platform.org/

Somente Laboratório 1

Software Descrição Versão Linux Windows Link
Atmel Studio Plataforma de desenvolvimento de projetos com microcontroladores da Microchip 7.0.1931 Sim https://www.microchip.com/mplab/avr-support/atmel-studio-7
LTspice Software que implementa um simulador de circuito eletrônico SPICE XVII Sim https://www.analog.com/en/design-center/design-tools-and-calculators/ltspice-simulator.html
Microwind Simulação de dispositivos semicondutores V3 Sim
Karma Conjunto de ferramentas de síntese lógica, incluindo mapas de Karnaugh, minimização de Quine-McCluskey, BDDs, probabilidades, módulo de ensino 3.62 Sim
ABC Sim
SwiftCraft O ambiente SwitchCraft fornece um conjunto de ferramentas para geração de rede de comutação. Estimadores para atraso, área e dissipação de energia (dinâmica e fuga) estão disponíveis. b150 Sim
Progisp v11.72 Sim
Grava 3.2 Sim