minkowski-space

There are 4 repositories under minkowski-space topic.

kroitor/gjk.c
Gilbert-Johnson-Keerthi (GJK) collision detection algorithm in 200 lines of clean plain C
Language:C857 34 683
qu1x/nalgebra-spacetime
Spacetime Extension for nalgebra
Language:Rust10 3 00
tomtuamnuq/perplex_num
A Rust implementation of perplex (hyperbolic, split-complex) numbers, leveraging num-traits.
Language:Rust2 1 10
rhjs94/schutz-minkowski-space
Formalisation in Isabelle/HOL of Schutz' axioms for Minkowski spacetime (and theorems of Chapter 3).
Language:Isabelle0 3 00