Evolution Proof

With AllTray you can dock any application with no native tray icon (like Evolution, Thunderbird, Terminals) into the system tray. A high-light feature is that a click on the "close" button will minimize back to system tray. AllTray works well with Gnome, KDE, XFCE 4, Fluxbox and WindowMaker....

Gammu+ project can be named as next step in evolution. Author of this www started to think about new project written in C++ using classes somewhere in August 2002. Some first source was written in October 2003 (16-10-2003 can be taken as start date), but a little faster progress started in...

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access to external programs such as SAT and...


Platforms: *nix

Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software...


Platforms: Mac

breveCreatures is a screensaver that simulates the evolution of virtual creatures in a physically simulated 3D world. Beginning initially with random creatures, the screensaver uses a genetic algorithm to develop creatures capable of realistic locomotion behaviors. The concept and algorithms...


Platforms: Mac

Chrysalis-A is a real-time causal pace evolution widget/game. You start with nothing but plants and dirt. By figuring out the right temperature that promotes growth/evolution you must guide an unknown species through several stages of evolution until it hopefully evolve into the Elders.


Platforms: Mac

An evolution simulation game. In it the gamer controls three important environmental variables inside two evolution chambers. Available Food, Temperature and CO2 level. As the gamer adjusts these level during the course of the simulation, the path of evolution and the type of species that evolve...


Platforms: Mac

This is a proof of concept Lunar Electric Rover simulator, designed by Frassanito and Associates, in conjunction with Petter Sundnes, Rommany Allen, and Chilton Webb. This simulator is based around NASAs Constellation Program architecture. It lets you drive the LER around on the moon, dock with...


Platforms: Mac

The next evolution in online communication -  a remarkably easy way to have a face-to-face video chat with friends, family or colleagues, no matter where they are in the world. ooVoo Video Chat is remarkably easy to use: easy to download, easy to install, and best of all:it's Free!...


Platforms: Mac

dotBrowser is a handy, easy to use multi-tab web browser, being proof-of-concept of .NET System.Windows.Forms.WebBrowser module using. for WindowsAll


Platforms: Windows

Grammarly is an automated proofreading and grammar checking tool. Grammarly uses world's most accurate grammar checking technology to find mistakes in your writing and then provides straight-to-the-point explanations and suggestions for improvement. With Grammarly, you not only will be protected...


Platforms: Windows

Evoversum is a fast Darwinian evolution simulator. The program simulates a 2D world populated with "animals" which struggle for food, reproduce and may also eat each other. The subject of evolution is their behavior, which may become quite complex.


Platforms: *nix

Toolkit to examine the topology of a phylogenetic tree, place amino acid substitutions on specific branches, polarize them and compare amino acid sequences of homologous proteins to answer a wide range of questions about protein evolution.


Platforms: Windows, Mac, Linux

ClearPass (formerly BlowPass) is web based password storage system that uses the Blowfish algorithm and a Host-Proof design pattern.


Platforms: Windows, Mac, Linux

dub manages databasemodifications (schema-evolution) during the development process/maintenance. It centralizes the changes, in order to execute them to the target database, and will keep an overview of all exising changes (new, current and past).


Platforms: Windows, Mac, Linux

The Evolutionary Environment (EvENet) provides a P2P Network for guiding the evolution of Software Services and Service Compositions over time. This evolution is based on knowledge sharing and optimised using GA and Agent Systems. It is part of the DBE.


Platforms: Windows, Mac, Linux

The evTools package provides tools to manipulate and display output from the binary stellar-evolution code ev (also known as STARS and TWIN).


Platforms: Mac, BSD, Linux

The FAKE GAME tool uses natural evolution to evolve Data Mining models. It incorporates several preprocessing, optimization and visualization methods aimed to streamline the Knowledge Discovery process. Knowledge Extraction from data is being automated!


Platforms: Windows, Mac, Linux

GenomePixelizer is a program for comparative genomics, detection of duplication events in genomes, tracking the 'footprints' of evolution. It may be considered as a drawing tool that generates custom images of genomes out of the given set of genes.


Platforms: Windows, Mac, BSD, Linux

GenX is a scientific program to refine x-ray refelcetivity, neutron reflectivity and surface x-ray diffraction data using the differential evolution algorithm. GenX is very modular and highly extensible and can be used as a general fitting program.


Platforms: Windows, Mac, Linux