{Hilbert's 24th problem, homotopy type theory, categorical logic}
and
{epistemology & cognition in mathematical practice}.
toroscillator : A 4D toric oscilloscope. And see here for a simpler torus knot visualization tool.
fractal forest : An interactive visualization of the relationship between Sierpinski sieves and fractal trees.