Poincare is a Haskell package to generate Poincare disk tilings as SVG.

Currently the code base includes two files: 
SVG.hs      -- a collection of Haskell data types building a DSL for a 
               sub-language of SVG, uses Show instances to actually output 
               correct SQL for the expressions available.
Poincare.hs -- a file implementing hyperbolic geometry primitives and a 
               reflections-based approach to generating regular and 
               quasi-regular tilings of the Poincare disk using Schlaefli 
               symbols of type {p,q}.

Some usage examples are included at the very end of Poincare.hs.

This is utterly unpolished code, and not yet ready for e.g. Hackage publication. 
Furthermore, this does none of the group theory that would be appropriate
to reduce double work in the tiling generation -- instead of generating a tree
covering the Cayley graph of the corresponding symmetry group, this code just 
recursively moves in all directions available at any given moment.

Future plans include some computational group theory to fix this issue.