RSS 3 projects tagged "Windows"

Download Website Updated 25 Aug 2006 GeoProof

Screenshot
Pop 18.28
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 11 Aug 2009 Coq

Screenshot
Pop 39.12
Vit 3.59

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 20 Jun 2007 Planets

Screenshot
Pop 81.49
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

OAQL Server

An Oriented Architecture Query Language Server.

Screenshot

Project Spotlight

Berkeley Yacc

A high-quality yacc variant.