3 results found Sort:

rustgd
cgmath rustgd
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 10 days ago
SciProgCentre
kmath SciProgCentre
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 2 months ago
HoTT-Intro
Agda HoTT-Intro
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 2 years ago