TituRel is built on Haskell. It has given substantial help in many explorative investigations: games, (bi-)simulations, topology, qualitative fuzzy considerations, theory extraction, social choice, decision support via interval orderings, etc. TituRel supports algebraic visualizations, proofs and transformations. Its generic construction of dependent types make it also a field of research in programming languages. Remarks: TituRel has a common source with the widely known RelView. It is far less efficient, strictly functional, and visualization-oriented. A formal deployment has not yet taken place; it exists as a one-man endeavour.