3 results found Sort:

155
1.2k
apache-2.0
31
A linear algebra and mathematics library for computer graphics.
Created 2013-08-26
1,587 commits to master branch, last one 2 months ago
58
673
unknown
20
Kotlin mathematics extensions library
Created 2018-04-14
2,277 commits to dev branch, last one 22 days ago
4
124
gpl-3.0
11
Agda formalisation of the Introduction to Homotopy Type Theory
Created 2020-07-28
545 commits to master branch, last one 3 years ago