RSS 3 projects tagged "Windows"

Download Website Updated 20 Jun 2007 Planets

Screenshot
Pop 81.58
Vit 4.03

Planets is a fun, interactive program for many-body gravity simulations. The emphasis is on play: it's easy to add in planets, zoom in and out, change the physical constants, save and load configurations, etc. It's designed to be easy enough for a kid to enjoy, but that hardly precludes adults.

Download Website Updated 11 Aug 2009 Coq

Screenshot
Pop 39.00
Vit 3.60

The Coq tool is a proof assistant which is able to handle calculus assertions, to check proofs of these assertions mechanically, and to extract a certified program from the constructive proof of its formal specification.

Download Website Updated 25 Aug 2006 GeoProof

Screenshot
Pop 17.89
Vit 1.00

GeoProof is a dynamic geometry application with proof related features. It can communicate with the Coq proof assistant to perform automatic and interactive proofs of theorems.

Screenshot

Project Spotlight

Tsung

A distributed multi-protocol load testing tool.

Screenshot

Project Spotlight

CODERU

A Java code quality tool to enforce good design with respect to package dependencies.