Verifpal é um novo software para verificar a segurança de protocolos criptográficos. O o principal objetivo do Verifpal é atrair mais os profissionais, estudantes e engenheiros do mundo real, sem sacrificar recursos abrangentes de verificação formal. Saiba como instalar o Verifpal no Linux. O Verifpal apresenta uma nova linguagem intuitiva para modelagem de protocolos que é […]
O HEY Mail representa um novo apogeu do email. Ele transforma e-mail em algo que você deseja usar, não algo com o qual você é forçado a lidar. Saiba como instalar o HEY Mail no Linux. HEY substitui soluções alternativas, hacks complicados e frustrações diárias, com fluxos de trabalho integrados, organização sem esforço e recursos […]
Limpe a tela removendo grupos de ladrilhos coloridos e em forma. Para jogar o Swell Foop, você precisa remover o máximo de quadrados possível do tabuleiro. Saiba como instalar o Swell Foop no Linux. Para jogar e jogar direito o Swell Foop, basta clicar em um grupo de quadrados da mesma cor para fazê-los desaparecer […]
O qBittorrent é um cliente torrent leve e gratuito. Ele é, basicamente, uma alternativa FOSS completa ao uTorrent. Uma ferramenta com muitos recursos. Saiba como instalar o qBittorrent no Linux. Com um cliente leve baseado em Qt, mecanismo de busca integrado, extensões Bittorrent integradas e ferramentas avançadas de gerenciamento de rede, o qBittorrent é o […]
O LibrePCB é um software EDA gratuito para desenhar esquemas e projetar placas de circuito impresso (PCBs). Saiba como instalar o LibrePCB no Linux. LibrePCB é um aplicativo multiplataforma com muitas características. Com ele você tem um gerenciamento de projetos, biblioteca/esquemático/editores de quadro, tudo em um único lugar. Além disso, conta com uma interface gráfica […]
O BombSquad é um jogo de bombas, um explosivo jogo de festa no estilo arcade, que é melhor apreciado com vários amigos e um grande sofá. Saiba como instalar o BombSquad no Linux. Com o BombSquad você salta, dá um soco, jogar e bombardear seu caminho para a vitória enquanto compete em uma infinidade de minijogos, incluindo Capture-the-Flag, King-of-the-Hill, […]
O Batufo é um jogo de batalha espacial multijogador 2D. Um jogo em que os Lekdas fazem as guerras. Eles não gostam de negociar, só de guerrear. Saiba como instalar o Jogo Batufo no Linux. Alguns dizem que os Lekdas nunca quiseram negociar. Eles só querem pegar, pegar mais e fazer a guerra. Eles entraram na […]
O Drawing é um aplicativo de desenho para a área de trabalho GNOME. Ele é um editor de imagens básico, compatível com os tipos de arquivo PNG, JPEG e BMP. Saiba como instalar o Drawing no Linux. Drawing permite que você desenhe ou edite imagens com ferramentas como lápis, linha ou arco, seleção, formas , […]
O CVEScan analisa um sistema Ubuntu para verificar se todos os patches de segurança disponíveis foram instalados, por exemplo. Ele produz um relatório claro e conciso que informa quais, se houver, patches de segurança um sistema Ubuntu pode estar faltando. Saiba como instalar o CVEScan no Linux. Além de verificar um sistema local, o CVEScan pode […]
O GNU Jami é um software livre de comunicação universal que respeita as liberdades e a privacidade de seus usuários. Ele une o útil ao agradável e permite uma excelente comunicação. Saiba como instalar o Jami no Linux. O Jami é um aplicativo completo. Um telefone: uma ferramenta simples para conectar, comunicar e compartilhar. Uma […]