RSS 3 projects tagged "Mathematics"

Download Website Updated 14 Sep 2007 Orpie

Screenshot
Pop 100.90
Vit 4.09

Orpie is a fullscreen RPN calculator for the console. Its operation is similar to that of modern HP calculators, but data entry has been optimized for efficiency on a PC keyboard. Features include extensive scientific calculator functionality, units support, base conversions, command completion, configurable keybindings, and a visible interactive stack.

Download Website Updated 11 Aug 2009 Coq

Screenshot
Pop 38.88
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 25 Aug 2006 GeoProof

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

Wing IDE

An IDE for Python.

Screenshot

Project Spotlight

Teddy Templating Engine

An easy-to-read, HTML-based, mostly logic-less DOM templating engine.