Ontify
Mathematical tool for studying discrete groups of isometries of symmetric spaces via their 'dynamics at infinity'.