Software
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 letivo 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.
Software marcado a vermelho será removido se não for feito pedido para manter. Restante software será atualizado para as versões mais recentes se não for feito pedido para manter versões anteriores.
Lista de Software
Legenda
Linux Windows Nexus Browser: Chromium Chromium is an open-source browser project that aims to build a safer, faster, and more stable way for all users to experience the web. Firefox Firefox is a free and open-source web browser developed by the Mozilla Foundation and its subsidiary, the Mozilla Corporation. Google Chrome Google Chrome is a fast, simple, and secure web browser, built for the modern web. Build Tool: CMake CMake is an open-source, cross-platform family of tools designed to build, test and package software. GNU Make A tool to control the generation of executables and other non-source files of a program from the program's source files. Maven Maven is a build automation tool used primarily for Java projects. Compiler: Bison Bison is a general-purpose parser generator. Byacc Berkeley Yacc is a LALR(1) parser generator. Clang Clang is a compiler front end for the C, C++, Objective-C and Objective-C++ programming languages. Flex Flex is a tool for generating scanners. GCC The GNU Compiler Collection (GCC) is a compiler system produced by the GNU Project supporting various programming languages. Matlab MATLAB is a proprietary multi-paradigm programming language and numeric computing environment. Nasm The Netwide Assembler, NASM, is an 80x86 and x86-64 assembler. Yasm Yasm is a complete rewrite of the NASM assembler. Database: MySQL Workbench MySQL is an open-source relational database management system. PostgreSQL PostgreSQL is a powerful, open source object-relational database system. Debugger: DDD Graphical front-end for command-line debuggers GDB The GNU Project Debugger (GDB) is a portable debugger that runs on many Unix-like systems and works for many programming languages. Valgrind Valgrind is a programming tool for memory debugging, memory leak detection, and profiling. Editor: Emacs Emacs is a family of text editors that are characterized by their extensibility. Kate Kate is a multi-document editor part of KDE since release 2.2. Nano Small, free and friendly text editor. Neovim Vim text editor fork focused on extensibility and usability. Vim The most popular clone of the vi editor. Visual Studio Code Visual Studio Code is a source-code editor developed by Microsoft for Windows, Linux and macOS. Framework: Cypress Fast, easy and reliable testing for anything that runs in a browser. Game Engine: Unreal Engine Unreal Engine is a complete suite of development tools made for anyone working with real-time technology. IDE: Eclipse Eclipse is an integrated development environment used in computer programming. Image Editor: Gimp The GNU Image Manipulation Program Inkscape Inkscape is a free and open-source vector graphics editor. Language: Java (OpenJDK) OpenJDK is a free and open-source implementation of the Java Platform, Standard Edition. Julia Julia is a high-level, high-performance, dynamic programming language. NodeJS Node.js is an open-source, cross-platform, back-end JavaScript runtime environment. Python Python is an interpreted, high-level and general-purpose programming language. Rust Rust is a multi-paradigm programming language focused on performance and safety. SBCL Steel Bank Common Lisp (SBCL) is a high performance Common Lisp compiler. SwiProlog SWI-Prolog offers a comprehensive free Prolog environment. Library: Graphviz Graphviz is open source graph visualization software. Openfst OpenFst is a library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). OpenMPI Open MPI is an open source Message Passing Interface implementation. Slurm Slurm is an open-source workload manager designed for Linux clusters of all sizes. Profiler: Intel Pin Intel Pin is a dynamic binary instrumentation framework. Papi Library providing access to various hardware performance counters. Python Library: Concepts Concepts is a Python library for computational concept modeling, built on top of the ConceptNet semantic network. Imblearn Re-sampling algorithms for imbalanced learning. Jupyter Jupyter is a web-based interactive development environment for Jupyter notebooks, code, and data. Keras Keras is a high-level neural networks API, written in Python and capable of running on top of TensorFlow, CNTK, or Theano. Keras-Bert Implementation of BERT that could load official pre-trained models for feature extraction and prediction. Matplotlib Matplotlib is a comprehensive library for creating static, animated, and interactive visualizations in Python. Nltk NLTK is a leading platform for building Python programs to work with human language data. Numpy NumPy is the fundamental package for scientific computing with Python. Pandas Pandas is a fast, powerful, flexible and easy to use open source data analysis and manipulation tool. Pytorch PyTorch is an open source machine learning framework. Requests Requests is an elegant and simple HTTP library for Python. SciKit-Learn Scikit-learn is a Python module for machine learning built on top of SciPy. Scipy SciPy is a Python-based ecosystem of open-source software for mathematics, science, and engineering. Seaborn Seaborn is a Python data visualization library based on matplotlib. Statsmodels Statistical computations and models for Python. Virtualenv Virtualenv is a tool to create isolated Python environments. Whoosh Whoosh is a fast, featureful full-text indexing and searching library implemented in pure Python. Utility: AWS CLI The AWS Command Line Interface (CLI) is a unified tool to manage your AWS services. Curl curl is a command line tool and library for transferring data with URLs. Docker (Podman) An open source project to pack, ship and run any application as a lightweight container. Docker Compose A tool for defining and running multi-container Docker applications. FFmpeg FFmpeg is a complete, cross-platform solution to record, convert and stream audio and video. JQ jq is a lightweight and flexible command-line JSON processor. Nmap Nmap is a free and open source utility for network discovery and security auditing. Office365 Office365 is a suite of productivity tools. Putty PuTTY is an SSH and telnet client. VLC VLC is a free and open source cross-platform multimedia player and framework. Wget GNU Wget is a free software package for retrieving files using HTTP, HTTPS, FTP and FTPS. Verifier: Dafny Programming language with built-in specification constructs. Version Control: Git Distributed version control system