A linear algebra and mathematics library for computer graphics.
Kotlin mathematics extensions library
Agda formalisation of the Introduction to Homotopy Type Theory