Search Results - RepositoryStats

155

1.2k

apache-2.0

30

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

59

682

unknown

19

Kotlin mathematics extensions library

kotlin jetbrains-research mathematics-library

Created 2018-04-14

2,281 commits to dev branch, last one 8 days ago

4

124

gpl-3.0

10

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