Funcgeo is a project mainly written in PYTHON and HASKELL, it's free.
Python and Haskell ports of Frank Buß's Lisp implementation of Peter Henderson's original idea.
Functional Geometry
Original idea by Peter Henderson, see http://www.ecs.soton.ac.uk/~ph/funcgeo.pdf and http://www.ecs.soton.ac.uk/~ph/papers/funcgeo2.pdf
Implemented in Lisp by Frank Buß, see http://www.frank-buss.de/lisp/functional.html
Ported to Python and Haskell by Will McCutchen [email protected]