IsaMorph

IsaMorph 0.9

IsaMorph ay isang linux distribution Live CD (batay sa Morphix) na nagtatampok ng mga interactive theorem prover Isabelle.Ang ibig sabihin nito, maaari kang boot mula sa CD at makakuha ng isang ganap na pagpapatakbo "teorama proving" na kapaligiran na...

Ulteo-KDE

Ulteo-KDE Alpha1 (Sirius)

Ulteo ay ang pinakamadaling system na gamitin sa mga computer. Ito ay isang bagong konsepto ng isang madaling-gamitin na open-source "system application" na maaaring baguhin ang paraan namin ang lahat ng paggamit ng mga computer.Bilang isang resulta, ang...