RSS 2 projects tagged "Windows"

Download Website Updated 25 Aug 2006 GeoProof

Screenshot
Pop 18.00
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.

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.

Screenshot

Project Spotlight

Lernstick Exam Environment

A live Linux distribution for exams.

Screenshot

Project Spotlight

phpMyAdmin

A tool that handles the basic administration of MySQL over the Web.