Kohomology​

kohomology is a Kotlin library to compute the cohomology of a cochain complex, especially a Sullivan algebra (in Rational homotopy theory (Wikipedia)). See its website for tutorial and online calculator.

DeformingKnot​

DeformingKnot is a VR application to write and deform knots by our hands. See also 東大数理VRチーム. (Cuurently Japanese only)