IsaMorph

IsaMorph 0.9

IsaMorph è un Live CD di distribuzione di Linux (sulla base di Morphix) con il teorema prover interattivo Isabelle.Questo significa che è possibile avviare dal CD e ottenere un "teoremi" ambiente pienamente operativo senza installare GNU / Linux o...

UMark

UMark beta3

progetto uMark è un'interfaccia utente grafica gratuito che permette ai giocatori e recensori hardware per configurare in modo semplice e benchmark eseguiti su Unreal Tournament 200x (UT2004 e UT2003, sia demo e versioni retail).Benchmarking con uMark...

CPX-MINI USB

CPX-MINI USB 2005-04

CPX-MINI USB è una versione shrinked di KANOTIX linux live-cd. La sua dimensione è solo 230 MB, al fine di soddisfare una chiavetta USB. Installato su HD richiede attualmente solo ~ 560MB.Distribuzione KANOTIX CPX-MINI si basa su KANOTIX che si basa su...

Placid

Placid 2.1

Placid viene da Phil detesta ACID ed è stato creato come un sostituto per ACID di CMU. Acid era troppo grande, troppo lento, e aveva troppi requisiti per me.Così ho riscritto quasi l'intera cosa (così come aggiunto alcune nuove funzioni) utilizzando...

Planktum

Planktum 0.1rev1

Planktum è un Live-CD per le comunità inmigrant ed è obiettivo è quello di migliorare l'accesso alle applicazioni di comunicazione di Internet.Planktum è un live-CD rifilato, non è e non sarà un tecnico show-off, per la versione 01 che esce basato su...

PerSeO Linux

PerSeO Linux 0.1 Beta

PERSEO è il funzionario, basato su Knoppix Linux distribuzione del gruppo Cesena. La versione attualmente in fase di sviluppo è v0.1 beta vivo professionale, che sarà accessibile sia dalla riga di comando e un interfaccia di amministrazione remota ...

Quantian

Quantian 0.7.9.2

distribuzione Quantian è una rimasterizzazione di Knoppix, l'auto-configurazione e direttamente avviabile dvd / cdrom che trasforma qualsiasi PC o computer portatile (a condizione che può essere avviato da cdrom / dvd) in una stazione di lavoro Linux...