3 results found Sort:
A linear algebra and mathematics library for computer graphics.
Created
2013-08-26
1,587 commits to master branch, last one 2 months ago
Kotlin mathematics extensions library
Created
2018-04-14
2,277 commits to dev branch, last one 22 days ago
Agda formalisation of the Introduction to Homotopy Type Theory
Created
2020-07-28
545 commits to master branch, last one 3 years ago