Free morphix software for linux

Morphix project is a derivative of Knoppix, another live CD distribution. Morphix is modular; this means that it consists of a number of parts which together form a working distribution. What does this mean to a normal user?

Well, thats the good part: it doesnt even know about the modules. They are invisible to it, save the startup-output on the console. So, if you dont care about how it works, just grab one of the combined ISOs and boot it!

There are different pre-made cd images with a whole range of (currently GUI-centered) software. It has an easy-to-use installer, if you wish to install it to your harddisk, but it doesnt need to be installed. It doesnt touch the rest of your system without specifically asking you.

Morphix project is a derivative of Knoppix, another live CD distribution. Morphix is modular; this means that it consists of a number of parts which together form a working distribution. What does this mean to a normal user?

Well, thats the good part: it doesnt even know about the modules. They are invisible to it, save the startup-output on the console. So, if you dont care about how it works, just grab one of the combined ISOs and boot it!

There are different pre-made cd images with a whole range of (currently GUI-centered) software. It has an easy-to-use installer, if you wish to install it to your harddisk, but it doesnt need to be installed. It doesnt touch the rest of your system without specifically asking you.

IsaMorph is a linux distribution Live CD (based on Morphix) featuring the interactive theorem prover Isabelle.
This means, you can boot from the CD and get a fully operational "theorem proving" environment without installing GNU/Linux or Isabelle. Just insert the CD in your PC and have five minutes later your first theorem proven.
All programs distributed within IsaMorph are free software. This means that the operating system and the applications contained in this CD can be freely copied, modified and distributed. So please feel free to give copies to your friends or colleagues.
Insert the CD into the CD drive on an Intel compatible PC or laptop. Now reboot the computer. Ensure that the first boot device is CD. For this, you may have to change the BIOS settings of your computer.
If you are not familiar with it, get help from your system administrator or someone who knows how to do it. As the computer starts booting, it will search for a CD in the drive. A menu will appear after some time.
Just press the Enter key or wait for some time. The computer will continue to boot from the CD and, hopefully, give you a graphical screen similar to what you are familiar with. You can click on the menu at the top left and start applications.
IsaMorph contains a fully working Isabelle environment supporting proving and document generation, this includes:
Isabelle (version 2005)
The interactive theorem prover Isabelle 2005 with at least the following logics compiled in: HOL, HOL-Complex, ZF, FOL, and Pure. Thus, after booting IsaMorph you can immediately prove theorems in any of these logics. The CD includes a offline version of Isabelles tutorials and theory documentation.
HOL-TestGen (version 1.1.1)
A test case generator for specification based unit testing. It is built on top of the specfication and theorem proving environment Isabelle/HOL.
Proof General (version 3.6pre)
A powerful User Interface for Isabelle.
SML of New Jersey (version 110.56)
The Standard ML Environment used for compiling and executing Isabelle.
GNU Emacs (version 22.0.50)
The GNU Emacs editor which builds together with Proof General the main user interface of Isabelle.
teTeX (version 2.0.2)
A complete LaTeX environment used for the generation of proof documents.
Other Applications
In addition, the CD also contains a variety of applications for a common use. It includes a user-friendly desktop (Gnome) an Internet browser (Mozilla), and so on. Just take a look at the menu to find out many more. I tried to minimize the number of non Isabelle specific software to minimize the download size.
Enhancements:
- This is release updates all software on the CD, including all base utilities and all Isabelle related software.
- Particularly, this is the first release featuring the latest Isabelle version (2005), X-Symbol (3.6pre), and also HOL-TestGen (1.1.1).

Dreamlinux distribution is a modern and modular Linux system that can be run directly from the CD and optionally be easily installed onto your HD.
Dreamlinux comes with a selection of the best applications designed to meet mostly of your daily needs.
Dreamlinux is based on Debian and Morphix, which means it takes advantages of their best features and adds its own modern development tools.
Being a modular system Dreamlinux allows you to add new modules comprising your preferred applications and build a new Distro that meet your requirements by means of its revolutionary MKDistro tool.
Enhancements:
- The final version of Dreamlinux 2.2 Multimedia Edition has been released. Having many improvements compared with the previous version, Dreamlinux 2.2 Multimedia Edition brings countless new features. The kernel is 2.6.18, and the distro uses Debian testing repositories. A greater number of applications for multimedia have been added, allowing to open and manipulate many different types of audio and video files. Beyond the many updates, other refinements have also been incorporated: upgrade assistant, new control panel, and the Easy-Install application that allows the user to install non-Debian programs like Google Earth, Picasa, Opera, etc.

PHLAK is a modular live security Linux distribution. PHLAK comes with two light guis (fluxbox and XFCE4), many security tools, and a spiral notebook full of security documentation. PHLAK is a derivative of Morphix, created by Alex de Landgraaf.

The story begins with two coffee drinkers from Longview, Texas. James Hartman and Shawn Hawkins were like any other Linux users, hitting Slashdot in the morning, researching numerous open source repositories, and experimenting with interesting projects.

Always security minded, the two developers started looking at live security distributions. Never being completely satisfied with existing projects, the two started on a mission to create the most complete live security Linux distribution.

So began the research. Instead of starting from scratch they decided to look at some of the other preexisting live CD distibution, finally settling on Morphix due to its modularity. After three months of development the initial version was released. Two moths later 0.2 was released with all fifteen pieces of flair.

PHLAK is designed as the security professionals tool kit. It is not meant to turn the unexperienced into a security guru overnight. However, anyone with the desire can learn from the included tools and documentation.

Like any good tool, PHLAK can be used by Sith or Jedi alike. Included in the distribution are all the mainstream tools such as: nmap, nessus, snort, the coronors toolkit, ethereal, and several other security packages.

Some of the other lesser known, yet equally effective, tools include: hping2, proxychains, lczroex, ettercap, kismet, hunt, achilies, brutus, and many others. Make no mistake, this is a real Linux distribution including many common services such as apache, mysql, ssh, iptables, and most other services that are included on any other standard distribution.

To make things more user-friendly, PHLAK currently includes two fast, light-weight window managers, XFCE4 (the default) and Fluxbox. From these window managers the user has easy access to the powerful documentation system. Currently included in the XFCE4 user interface are quick-start buttons to initiate services and different firewall settings for those who are command line impaired.

Remember that PHLAK is still in its infancy. It is constantly progressing towards the level the developers had originally envisioned. The future versions of PHLAK will better harness the modularity of its Morphix origin as well as increase its base of hardware support and detection.

The project team is dedicated to expanding and updating the PHLAK security arsenal as well as making it more available to a broader user base. They foresee it becoming the Professional Hackers Linux Assault Kit. Make no mistake, the Internet is an unfriendly environment. Arm yourself well.

PHLAK is a modular live security Linux distribution. PHLAK comes with two light guis (fluxbox and XFCE4), many security tools, and a spiral notebook full of security documentation. PHLAK is a derivative of Morphix, created by Alex de Landgraaf.
PHLAK is distributed freely. Some of the software included with PHLAK may not be GPL/GNU but can be distributed freely.
The developers of PHLAK express no warranty of any kind. Creators of PHLAK are not responsible or liable for an damages, criminal activity, misuse, or misrepresentations of PHLAK. USE AT YOUR OWN RISK!
Enhancements:
- removed XPDE and XFCE4
- removed security documentation
- removed all under /usr/share/doc/
- removed other unnecessary packages
- added iDesk to fluxbox
- updated fluxbox menus
- upgraded all applicable packages
- added usb modules to linuxrc script in miniroot.gz and new path for usb booting
- updated grub menu.lst, options.lst, and lang.lst files
- updated grub message
- updated bootsplash
- removed debian orphan packages
- purged all removed package data
- cleaned up minimod
- removed unnecessary files from base module
- modified usb pen drive install script for PHLAK compatibility
- modified PHLAK Security Panel tools and Control Panel tools

Dreamlinux distribution is a modern and modular Linux system that can be run directly from the CD and optionally be easily installed onto your HD.

Dreamlinux comes with a selection of the best applications designed to meet mostly of your daily needs.

Dreamlinux is based on Debian and Morphix, which means it takes advantages of their best features and adds its own modern development tools.

Being a modular system Dreamlinux allows you to add new modules comprising your preferred applications and build a new Distro that meet your requirements by means of its revolutionary MKDistro tool.

Dreamlinux distribution is a modern and modular Linux system that can be run directly from the CD and optionally be easily installed onto your HD.

Dreamlinux comes with a selection of the best applications designed to meet mostly of your daily needs.

Dreamlinux is based on Debian and Morphix, which means it takes advantages of their best features and adds its own modern development tools.

Being a modular system Dreamlinux allows you to add new modules comprising your preferred applications and build a new Distro that meet your requirements by means of its revolutionary MKDistro tool.