Search Results - RepositoryStats

155

1.1k

apache-2.0

32

A linear algebra and mathematics library for computer graphics.

rust simd matrix vector simd-vector linear-algebra computer-graphics mathematics-library

Created 2013-08-26

1,580 commits to master branch, last one 2 years ago

55

637

unknown

20

Kotlin mathematics extensions library

kotlin jetbrains-research mathematics-library

Created 2018-04-14

2,212 commits to dev branch, last one 2 months ago

5

121

gpl-3.0

11

Agda formalisation of the Introduction to Homotopy Type Theory

agda hott-uf textbook univalence mathematics univalence-axiom mathematics-library homotopy-type-theory univalent-foundations univalent-mathematics

Created 2020-07-28

545 commits to master branch, last one 2 years ago