JFLAP é um software para experimentar tópicos de linguagens formais, incluindo autômatos finitos não determinísticos, autômatos pushdown não determinísticos, máquinas de Turing multifitas, vários tipos de gramáticas, análise e sistemas L. Neste tutorial, saiba como instalar o JFLAP no Linux, usando pacotes Flatpak. Além de construir e testar exemplos para estes, o JFLAP permite experimentar […]
Bittorrent Tracker Editor é um software para te ajudar a adicionar ou remover rastreador de arquivos torrent. Uma ferramenta simples e fácil de usar. Neste tutorial, saiba como instalar o Bittorrent Tracker Editor no Linux, usando pacotes Flatpak. Características do Bittorrent Tracker Editor: selecione um arquivo torrent ou uma pasta com arquivos torrent; adicione um […]
O Linux Show Player é um cue player gratuito, destinado principalmente à reprodução de som em produções teatrais, o objetivo é fornecer um software de reprodução completo para peças musicais, espetáculos de teatro e similares. Neste tutorial, saiba como instalar o Linux Show Player no Linux, usando pacotes Flatpak. Alguns destaques do Linux Show Player […]
A distribuição SparkyLinux 2024.02 melhora o instalador CLI e adiciona mais atualizações do Debian Trixie. O SparkyLinux 2024.02 foi lançado como outro instantâneo da série semi-rolante desta distribuição GNU/Linux baseada em Debian que aproveita os repositórios Debian Testing. Chegando três semanas após o SparkyLinux 2024.01, o lançamento do SparkyLinux 2024.02 é alimentado pelo kernel Linux […]
O kernel Linux 6.9 vai suportar gamepad, teclados e mouse de ação sem fio Samsung. Os engenheiros da Samsung têm estendido seu driver HID “samsung” para suportar mais dispositivos de entrada sem fio pelo kernel Linux principal. Os engenheiros da Samsung têm trabalhado para ampliar a compatibilidade do dispositivo com o driver Samsung HID. Isso […]
Password Safe é um utilitário de gerenciamento de senha. Ele armazena suas senhas em um arquivo criptografado, permitindo que você se lembre de apenas uma senha (a “senha mestra”), em vez de todas as combinações de nome de usuário/senha que você usa. Neste tutorial, saiba como instalar o Password Safe no Linux, usando pacotes Flatpak. […]
4KTUBE é um aplicativo poderoso para baixar vídeos, listas de reprodução e músicas do YouTube. Ele suporta várias outras plataformas online para download de vídeo/áudio da Internet em resoluções HD. Neste tutorial, saiba como instalar o downloader 4KTUBE no Linux, usando pacotes Flatpak. O 4KTUBE conta com excelentes características, entre elas: Saiba instalar o downloader […]
FormatLab é uma ferramenta poderosa para converter arquivos de vídeo e áudio e suporta quase todos os formatos com codecs modernos e amplamente suportados. Neste tutorial, saiba como instalar o conversor FormatLab no Linux, usando pacotes Flatpak. FormatLab conta com excelentes características, entre elas: suporta todos os formatos de vídeo populares com técnica moderna de […]
Gameeky permite que jovens alunos e educadores criem e explorem jogos cooperativos e experiências de aprendizagem. Neste tutorial, saiba como instalar o app de jogos Gameeky no Linux, usando pacotes Flatpak. O Gameeky permite que você: jogue e explore jogos com amigos; crie novos jogos sem escrever nenhum código; conte histórias através desses jogos; cultive […]
Como todos devem saber, temos algumas gigantes da tecnologia que dominam o cenário tecnológico. Seus produtos são onipresentes e o mercado é, literalmente, dominado por essas empresas. A Apple está entre essas empresas e tem seus próprios softwares proprietários. No entanto, há excelentes alternativas disponíveis, gratuitas e de código aberto. Neste artigo, você conhecerá excelentes […]