Free 3.2.1 software for linux

ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp".
It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Enhancements:
- A soundness bug and some other minor bugs have been fixed.
- Including books has been sped up by as much as 50%.
- Rewriting can be dynamically monitored.
- Accumulated persistence supports meta-rules and identifies useless rules, and many other minor updates have been made.

JGAP (pronounced "jay-gap") is a genetic algorithms component written in the form of a Java package. JGAP project provides basic genetic mechanisms that can be easily used to apply evolutionary principles to problem solutions. The ground is laid for introducing Genetic Programming to JGAP in the near future!
JGAP has been written to be very easy to use "out of the box," while also designed to be highly modular so that more adventurous users can easily plug-in custom genetic operators and other sub-components.
Genetic algorithms (GAs) are evolutionary algorithms that use the principle of natural selection to evolve a set of solutions toward an optimum solution. GAs are not only very powerful, but are also very easy to use as most of the work can be encapsulated into a single component, requiring users only to define a fitness function that is used to determine how "good" a particular solution is relative to other solutions.
Enhancements:
- Made Robocode example work with newest Robocode version and enhanced the example in general
- Added Maven pom file
- Introduced log4j
- Fixed bug with allTimeBest and cloning (see bug 1744077)
- Fixed bug with GABreeder.evolution (bug 1748528)
- Made INodeValidator serializable
- Added custom-initialization mechanism for GP
- Enhanced IGPChromosome by method getFunctionSet()
- Added Java command version to NOP
- Enhanced Javadoc a lot
- Added two utility functions to SystemKit
- Improved Chromosome.hashCode()
- Added some few unit tests

Camero is a three-part system for creating and running webcam portals. It is made of a daemon, an admin tool, and a portal CGI.
Camero 3.2 comes with the following components:
camero.py
The daemon. This component is what runs in the background, checking the cams, archiving images and updating the database.
admin.py
The admin tool cgi. This component allows you to add/remove cams, view images in the archive, edit settings, basically administrate everything
PortalConfig.py
The main portal configuration file.
PySP.py
The portal front end cgi. This processes all the portal template files.
classes/
Where the classes for the portal are kept
templates/
Where the templates for the portal are kept
db.conf
The config file for your database. This is only an example, you will need to configure and obtain info for your specific database installation.
getImage.py
This is a cgi that allows for you to obfuscate the path to your images.
See the development doc for more details
tools/archiveMaint.py
This is a utility that performs the database maintenance. It will keep your archive directories down to the size you specify.
index.html
Simple redirection to the main portal page
Secondary Components:
DB.py
This code allows for easy access to the database. All of the primary components require this to be in the same directory to execute. See the development doc for more details.
camctl
This is a shell script that should be used to start/stop/restart the daemon.
rc.d/camero.linux
A start up script for linux.
rc.d/camero.FreeBSD
A start up script for FreeBSD.
tools/deDupe.py
This is a tool that will search through all your archived images and remove any duplicates. It is not normally needed as camero will catch sequential duplicates, however users have a way of messing things up no matter how hard you try.
tools/import.py
This tool allows you to import your previous Camero config. It only imports cams but it can save a lot of entry time.
tools/sanityCheck.py
This tool will check your environment and let you know if everything checks out
tools/upgradeDB_(version).py
This tool will upgrade the database structure from any previous version to that of the current one.
tools/convertDB_(version).py
This will convert a database initialized by the free distribution to the structure of the commercial distribution (comes with commercial ver)
tools/daemonCheck.sh
This will check to see if the camero daemon is running, and if not, restart it.
Main features:
- PySP Server Page Processor (Templates, no python knowledge needed)
- New portal code thats easy to read, edit and extend
- Admin interface UI enhancements
- Configurable thumbnailing support
- Configurable generic image "pipe" support (watermark or logo the images)

Kshowmail project is a KDE tool to watch mails on a POP3 server. Headers and complete mails can be viewed without loading them to the local mail client. Unpleasant mail can be deleted from the server.
The list of displayed mails can be refreshed via configurable timers. Filters can be assigned to mark known spam for deletion. Multiple accounts are supported.
A sound can be played if new mail arrives. A command menu allows user configurable commands like fetchmail or sendmail. A special command can be defined to send complain mail against spam.
The modifications I provided are mainly Qt/KDE stuff to generate a nice GUI interface. I am using the great development tool kDevelop V2.1.
Enhancements:
- Fixed bug where if you configure 2 accounts, retrieve mail, and then deactivate one of the accounts, its number of messages still reflects in the tray icon.
- Fixed sort of message number and size columns in message list to be numerical rather than alpha.
- Corrected version displayed in the About dialog.

Katapult is an application for KDE, written in C++, designed to allow faster access to applications, bookmarks, and other items.

Katapult project is plugin-based, so it can launch anything that is has a plugin for. Its display is driven by plugins as well, so its appearance is completely customizable. It was inspired by Quicksilver for OS X.

NcFTPs purpose is to provide a powerful and flexible interface to the Internet standard File Transfer Protocol. It is intended to replace the stock ftp program that comes with the system.

Although the program appears to be rather spartan, youll find that ncftp has a wealth of valuable performance and usage features. The program was designed with an emphasis on usability, and it does as much as it can for you automatically so you can do what you expect to do with a file transfer program, which is transfer files between two interconnected systems.

Some of the cooler features include progress meters, filename completion, command-line editing, background processing, auto-resume downloads, bookmarking, cached directory listings, host redialing, working with firewalls and proxies, downloading entire directory trees, etc., etc.

The ncftp distribution comes with the useful utility programs ncftpget(1) and ncftpput(1) which were designed to do command-line FTP. In particular, they are very handy for shell scripts. This version of ncftp no longer does command-line FTP, since the main ncftp program is more of a browser-type program.

AntiVirus Scanner is an anti-virus scanner for Endeavour Mark II that uses the ClamAV library (libclamav).

AntiVirus Scanner allows you to create a list of scan items for frequently scanned locations and features easy virus database updating, all in a simple GUI environment.