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...

Wobbly NOP

Wobbly NOP 3.01

Wobbly NOP è una versione modificata del piccolo, leggero e il sistema operativo LiveCD veloce Puppy Linux 3.01. Wobbly NOP include il Compiz-Fusion compositing window manager 3D, per gli effetti "traballanti". :-D Tutto in soli 130MB!Si basa su Puppy NOP...

slimlinux

slimlinux 0.80

slimlinux è multi-purpose Linux mini distribuzione che si adatta a un floppy o può essere installato nella partizione FAT.slimlinux è disponibile sia in floppy (1722K, la versione 0.7.0) e le versioni del disco rigido, quest'ultima èinstallato per DOS...