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 |