Evolution Proof

Gnubert will be a system to use the power of many computers across the internet to solve problems using evolutionary techniques. Any user may define a problem and the system will attempt to solve it. Platforms: Windows, Mac, Linux

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. Platforms: Windows, Mac, Linux

Graphical User Interface for a software used to assess adaptive evolution in protein-coding genes. Makes use of several known bioinformatics software. IMPACT is free software, targeted to the scientific community. Platforms: Windows, Mac, Linux

The interverse is the evolution and combination of the web, chat, IM, and voice communication. It is not just a graphical user interface (GUI), but an immersive user interface (IUI). This project will develop the clients and content used in the interverse Platforms: Windows, Mac, Linux

LineageEvolver is a simulation system for molecular evolution. Sequence evolution is simulated using modular processes such as substitutions, gene duplication/death, horizontal gene transfer, and more. Platforms: Windows, Mac, Linux

This simple java application with custom GUI tries to simulate evolution using a basic set of rules. Platforms: Windows, Mac, Linux

A simple web-logging system, created as a proof-of-concept. Fully standards compliant and accessible, it is designed to quickly set up a functional and structured site to conveniently track related and unrelated items. Written in PHP, using a flat-file, XML database, outputting an XHTML page... Platforms: Windows, Mac, Linux

Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface. Platforms: Windows, Mac, BSD, Linux

The Mars Rover Simulator project is based on the evolutionary robotics paradigm where an artificial agent acquires its skills through the process of artificial evolution. This simulator can be useful to evolve neural network controllers for the rover Platforms: Windows, Mac, Linux

The Objectsheet is an evolution of the spreadsheet that makes creating models easier and less error-prone. Instead of a 'large grid of cells and scattered formulas', the Objectsheet uses finite-sized tables, Javascript objects, and formula templates. Platforms: Windows, Mac, Linux

A free, open source, artificial life, genetic evolution simulation in which small creatures called Neds roam the world, mate with one another, harvest food, eat and eventually die. Platforms: Windows, Mac, Linux

Java framework for applying meta-heuristic (multi-objective) optimization algorithms like an Evolutionary Algorithm, Particle Swarm Optimizer, Differential Evolution, or Simulated Annealing to arbitrary optimization problems.(visit: http://www.opt4j.org) Platforms: Windows, Mac, Linux

PANTHER project: software for modeling of protein sequence and function evolution, and tools for applying these data to the analysis of genome data, expression data and coding SNPs. Details available at http://www.pantherdb.org. Platforms: Windows, Mac, Linux

PHPix3 is the evolution of PHPix2. It generates thumbnails and scales images automatically. Customizeable style sheets and text descriptions of albums and pictures can be uploaded. Platforms: Windows, Mac, Linux

This project provides a set of Python tools for creating various kinds of neural networks, which can also be powered by genetic algorithms using grammatical evolution. MLP, backpropagation, recurrent, sparse, and skip-layer networks are supported. Platforms: Windows, Mac, Linux

A continuously-evolving population/intelligent AI/environment/evolution simulator. Players manipulate a given world in which creatures with varying characteristics attempt to survive by eating, avoiding harm, and reproducing. Platforms: Windows, Mac, Linux

SimBac is a software package for simulating bacterial genome evolution. It outputs samples of DNA sequences at each generation & allows testing of major evolutionary mechanisms, including mutation, recombination, genetic drift, and natural selection. Platforms: Windows, Mac, Linux

Implemented in NetLogo, this simulates the spread and evolution of cultural beliefs using artificial life with a meme based belief model. Platforms: Windows, Mac, Linux

SpamFryer is a proof of concept Java application to make multiple visits to a spammers website. Theoretically this would create higher traffic on such sites resulting in higher costs for their operations. Platforms: Windows, Mac, Linux

A proof-of-concept application of the Statistical Protocol IDentification (SPID) algorithm. SPID can detect the application layer protocol (layer 7) by analysing flow (packet sizes etc.) and payload statistics (byte values etc.) from pcap files. Platforms: Windows, Mac, Linux