Evolution Proof

Evolution Exchange is the Ximian Connector for Microsoft Exchange, which adds support for Microsoft Exchange 2000 and 2003 to Evolution. Evolution provides integrated mail, addressbook and calendaring functionality to users of the GNOME desktop. Installation: The simplest way to compile...

Chrysalis 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 evolves into the Elders. There are...

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

CEIConvert provides an email conversion program for kMail, Netscape, Evolution, and Eudora. This tool will convert your individual emlx mail files (found in ~/Library/Mail/) to the old mbox format, used by almost every UNIX/Linux mail client and recognized by many more. Basically, it helps...


Platforms: *nix

JMines is Java clone of the famous puzzle microsoft minesweeper. This version contains a lot of improvements like button shapes, antialiasing, look and feels and colors, languages, save and replay boards, videos or screenshots, bot ... Constant evolution


Platforms: *nix

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


Platforms: *nix

Evolution Scalix package contains Scalix Connect for Evolution..


Platforms: *nix

Emnu, new menu for KDE(proof of concept) is a proof of concept I finished at aKademy. It is a new menu idea. dnd any files to the startmenu. dnd any desktop files(shortcut) to the startmenu. drop quicklauncher and panel buttons. ..... This is a idea, some codes is toke from baghira...


Platforms: *nix

Evolution# is a .NET language binding for various Ximian Evolution libraries. Building & Installing Evolution#: The Linux build is the traditional: ./configure make make install You may want to consider using configures prefix option to install Evolution# using the same prefix as Mono....


Platforms: *nix

Evolution Jescs is the Evolution Connector for Sun Java Enterprise System Calendar Server (SJESCS). This connector supports the WCAP (Web Calendar Access Protocol) 2.0, 3.0, 3.1. How to setup a JESCS account? Now it is integrated into "Mail Accounts" under menu "Edit-->Preferences". Click...


Platforms: *nix

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

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


Platforms: *nix

Evolution Data Server provides a single database for common, desktop-wide information, such as a users address book or calendar events. Evolution Data Server is also a dependency of the clock applet from the gnome-applets package, 2.10 release. Evolution provides integrated mail, addressbook...


Platforms: *nix

Evochallenge is a simple Perl-based challenge/response mail filter for Evolution on Linux. How it Works: Challenge/response e-mail filters only pass e-mail through if the sender is on a "whitelist". E-mail from anyone not on the whitelist goes to a holding area. The sender is then challenged...


Platforms: *nix

R2cl compiler is a minimal, proof of concept translator from the R or S language into Common Lisp. An increase in speed of over 1000 times can then be achieved using the free CMU Common Lisp native code compiler on the resulting code, making it comparable to FORTRAN, Ada or C. Installation:...


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

Evolution provides integrated mail, addressbook and calendaring functionality to users of the GNOME desktop. Installation: The simplest way to compile this package is: 1. `cd to the directory containing the packages source code and type `./configure to configure the package for your system....


Platforms: *nix

TDFS stands for "Trivially distributed file system", and is a proof-of-concept implementation of distributed file system as a ("stacked") layer above normal file systems. It uses the FUSE libraries and subsystem to implement this operation in userland. NOTE:This is currently a proof-of-concept...


Platforms: *nix

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

Invasores project was first designed as a proof of concept of which language would be faster to develop games..


Platforms: *nix