RSS 2 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 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

Qtractor

An Audio/MIDI multi-track sequencer.

Screenshot

Project Spotlight

CODERU

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