Evolution Proof

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.

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

Binary package of Ximian (Novell) Evolution (X11 version) for Mac OS X, with native Mac OS X installer.


Platforms: Mac, BSD, Linux

The SCE-UA method is a general purpose global optimization program. It was originally developed by Dr. Qingyun Duan as part of his doctoral dissertation work at the Department of Hydrologyand Water Resources, University of Arizona, Tucson, AZ 85721, USA. The dissertation is entitled "A Global...


Platforms: Matlab

This script merges the calendar files of Evolution (the Ximian/GNOME calendar application) and the Opie Calendar application (Sharp Zaurus, Linux IPAQs, ...). It takes a list of files as parameter, merges their calendar entries and writes them to the specified output files, both for Evolution and...


Platforms: *nix, Python, BSD

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


Platforms: Mac

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

Visitors must use obfuscated javascript to submit a proof-of-work that indicates they opened the website in a web browser, not a robot.If the javascript check fails, WP Hashcash gives three options; it can either put the comment into moderation (default), put the comment in the akismet queue, or...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

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

This script represents a very simple proof-of-concept of an ostreams-like interface wrapping around file-like objects, included a demonstration of manipulators.Although theation of treams model does not make it necessary, it is quite easy to make a wrapper around file-like objects that behaves...


Platforms: Windows, Mac, *nix, Python, BSD Solaris

TuMusika Evolution is the new concept in Music Sharing, with lots of characteristics and easy installation, makes TM.Evolution one of the best web-based music managers.It is a Web-Based music manager, it has support of XSPF.org playlists and podcasts, you can add lots of mp3 music, create lots of...


Platforms: Windows, Mac, *nix, PHP, Solaris

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

This module offers just a proof of concept starting point for other developers.InstallationUnpack in your modules folder (usually /sites/all/modules/) and enable under Administer > Site Building > Modules. Requirements: - Drupal 5.x


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

Evolution is an enterprise-class open source mail/calendaring client. It works with standards-based systems like IMAP, POP, and LDAP, as well as with Exchange 2000 and 2003. To learn more about the open source development community for Evolution, please visit the project home page:...


Platforms: Mac, Apple's X11

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

Data Evolution for Java. Finch is a Data Transformation System based on JDBC and other Java blessed specifications. Finch is based on a component task architecture allowing users to create complex data manipulation jobs.


Platforms: Windows, Mac, Linux

Better Plugin Page brings a few valueable enhancements to the Plugin Management page: tiny icons, less clutter, quick action links. Handy for those who have 70+ plugins on their blog.Check the demo here and visit the official page of Better Plugin PageTip: To keep track of this plugin's evolution...


Platforms: PHP

Fornux C++ Superset is a source-to-source compiler that injects an innovative deterministic memory manager into existing C/C++ code thus making the resulting application crash proof and free from any memory leaks implicitly. The resulting application remains real-time and works on all embedded...


Platforms: Windows, Windows 8, Windows Server, Windows 7

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

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


Platforms: Windows, Mac, Linux