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,585 commits to master branch, last one 24 days ago

55

656

unknown

20

Kotlin mathematics extensions library

kotlin jetbrains-research mathematics-library

Created 2018-04-14

2,236 commits to dev branch, last one 3 months ago

5

123

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 3 years ago