Topic: "minkowski-space"
kroitor/gjk.c
Gilbert-Johnson-Keerthi (GJK) collision detection algorithm in 200 lines of clean plain C
Language: C - Size: 239 KB - Last synced at: 8 days ago - Pushed at: over 3 years ago - Stars: 873 - Forks: 84
qu1x/nalgebra-spacetime
Spacetime Extension for nalgebra
Language: Rust - Size: 58.6 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 10 - Forks: 0
tomtuamnuq/perplex_num
A Rust implementation of perplex (hyperbolic, split-complex) numbers, leveraging num-traits.
Language: Rust - Size: 345 KB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
rhjs94/schutz-minkowski-space
Formalisation in Isabelle/HOL of Schutz' axioms for Minkowski spacetime (and theorems of Chapter 3).
Language: Isabelle - Size: 3.06 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
