Cabri have released a beta version of CabriJava, allowing interaction
At the moment, each beta expires at the end of the month of release.
The figure on the right illustrates Pascal's Theorem.
As further examples, I've implemented figures illustrating
Full code for the first three figures, and more about Pappus,
See also the pages on inversive geometry (using CabriJava).