IsaMorph

IsaMorph 0.9

IsaMorph é uma distribuição Linux Live CD (com base na Morphix) que caracteriza o teorema interativo Isabelle.Isto significa, você pode inicializar a partir do CD e obter um ambiente de "teoremas" plenamente operacional sem instalar GNU / Linux ou...

ivrescue

ivrescue 1.1.7

ivrescue é um pequeno CD de recuperação Linux, adequado para sistemas que se tornaram unbootable devido a filesystem corrupção ou o que quer arrancar. Como um bônus adicional, tudo é carregado na RAM - uma vez que a máquina já foi iniciado, você pode...

J-Nix

J-Nix 1.0

J-Nix fornece tudo que o usuário precisa para casa, e como pouco mais que possível. Isso faz com que J-Nix mais seguro, mais rápido para executar, mais rápido de instalar.As coisas que as necessidades do usuário doméstico são* Navegador,* O email,*...

JaCL Linux

JaCL Linux 0.2005-07-11 beta1

JACL Linux (Apenas uma linha de comando do Linux) é uma distribuição de CD ao vivo (a remasterização Knoppix) do sistema operacional Linux. JACL Linux é projetado para ser executado como um sistema de servidor ou de utilidade impulsionado linha de...