machine learning/data analysis topological data analysis Analysing UNGA votes, 1945-2015. computer-assisted mathematics py_knots Knot algorithms in Python, 2022. scala_knots Knot algorithms in Scala, 2020. superficial Algorithms for surfaces in Scala, 2020. idris Interactive proofs in Idris, 2019.