Stars
A generic C++ framework for evolutionary computation
Command the forces of The Project in a battle to rebuild the world after mankind has been nearly destroyed by nuclear missiles. A 100% free and open source real-time strategy game for Windows, macO…
http://sourceforge.net/projects/k9copy-reloaded/ reloaded again
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Remotely control Firefox and other Mozilla apps with JavaScript
The API of WWW::Mechanize, combined with the Javascript-power of Firefox