Free aed non graphical face unit software for linux

General Graphics User Interface is an effort to produce a common graphical user interface for any command-line program.

It uses a wizard-like input front end to collect the information needed. It then calls the desired program automatically with all the necessary options.

The user is able to point&click on various options and select them in a convenient way. In order to create a new user-interface, a user doesnt need to know a programming language, since there is a graphical editor for new GGUI "scripts".

Free Open FTP Face is a graphical FTP client, written in Python.

Free Open FTP Face is a lightweight graphical (GTK+) FTP client. It is multiplatform, easy to use, has a built in text viewer, image viewer (very fast), and one-click gzip (de)/compression. Although it is a functional GUI, you can also input OS and FTP commands.

Its emphasis is on simplicity, convenience, and ease of use. Many free FTP clients for Windows lack the clean, uncluttered interface that gFTP on Linux has, for example.

The idea behind the built-in text and image viewers, is that regardless of the operating system, you can instantly view text and image files since theres no overhead from loading an external program.

Linux graphical bootsplash allows you to use custom graphics during early system startup. It makes it possible to place a nice graphic behind or above the kernel boot messages.
Linux graphical bootsplash hooks into the fbcon layer and, if activated, searches the initial ramdisk for a JPEG picture to show.
On any output operations to the console, it takes care of painting a margin around your text and a background picture behind the text with a set of special cfb functions.
Main features:
- Nice graphics (JPEG)
- Antialiased text rendering (TrueType)
- Animations (MNG)
- Progress Bar
- Display of boot messages above or below a graphic. ("verbose" and "silent" modes)
- Fully themeable
Enhancements:
- The bootsplash patch was updated to apply cleanly against Linux kernel 2.6.21.

RCUNIT is a robust C unit testing framework. Requiring only an ANSI compliant C compiler, It is a highly portable testing tool.
Main features:
- Uniform interfaces for managing test cases
- Optional setup and tear down functions for each test case (test function) to isolate a particular test.
- Optional setup and tear down functions for each test suite (test module).
- Multiple test registries and test suites for structuring test cases. Also provides a default test suite and default test registry.
- Output redirection mechanism to redirect log and test run report when a file I/O facility is not available in the test platform.
- Log handler mechanism for redirecting logs.
- Allows optional test run callback function (test run hook).
- Alternative mechanism to ANSI Cs assert() function (non-test run assertions). Also allows assertion callback function (assertion hook)
- A runtime memory leak check facility
- An extensible exception handling mechanism
Enhancements:
- This is is the pre-release version of 1.0.
- There were no major changes from version 0.1, and it is fairly stable.

Non-Networked File System provides a consistent file system over several non networked UNIX computers (or slow networked). For example on your computer at home and at work using only a floppy disk for the synchronisation.
Main features:
- You are sure to work on the latest version of files.
- You dont need to remember which files are modified on an host and must be transfered on others.
- You dont need to made backup, because if a computer crash the file system is still on the other computers working with NNFS.
- The NNFS medium is choosen by a user shell script, it could be: floppy disk, usb key, serial connection, ...
- Minimal NNFS medium bandwidth to make the updates.
- EASY TO USE: Running ``nnfs command before and after your work.
- Numbered backup of files modified/deleted on NNFS.
- If you modify the same file on several hosts NNFS solves the update conflict.
- The program has been hugely tested.
Enhancements:
- This release fixes the case where the user modifies a file mode while NNFS is running and NNFS is configured in order that a file mode change does not imply file synchronization.

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

Vista Basic provides a theme similar to Microsoft Vista.

window borders similar to those of Microsoft Vista when using non Aero compatible software (such as JRE 6 or Photoshop CS 2)

Free Conquest & Colonization of America project is a remake of the old Microprose game Colonization.
Free Conquest and Colonization of America is a remake of a fantastic old game from Microprose called Colonization. Those who have played Civilization will find the game style very similar.
In Civilization, the game time goes from pre-history to the future, but in Free Conquest and Colonization of America, all action happens during the exploration age, from 1492 to 1800. The goal of the game is to build a colony in America and make this colony grow big enough to be able to achieve independence from the motherland.
A player can choose among the English, French, Dutch, and Spanish nations, each having its own qualities and problems. During colonization, the player will face many challenges, such as negotiating (and making war, if necessary) with other European colonies and native tribes.
Winning the hearts of the colonists (by making they feel that the colony is their home) is the key to getting enough support to fight for independence. Allowing religious freedom in your colony will attract more colonists persecuted for their faith in Europe.
KEYSTROKES:
Numpad arrows -> movement
SPACE -> new round
W -> change the focus
C -> choose unit (when theres more than one unit in the same square)
E -> see Europe status
F -> fortify
S -> sentry
Q -> quits the game
Enhancements:
- beach shores
- hidden tiles
- the screen now centers on the unit
- indians