Christian Lawson-Perfect's homepage
Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation
Now I'm calculating with constructive reals!