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

57

660

unknown

20

Kotlin mathematics extensions library

kotlin jetbrains-research mathematics-library

Created 2018-04-14

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

4

124

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