I usually eat crispy toast and juicy sausages with scrambled eggs for breakfast and read the news in the morning. It would have been an ordinary spring morning if I hadn't stumbled across a small ...

lin_math Linear Algebra Library A Single-Header only C math library for linear algebra. Supports 2D, 3D 4D Vectors, 4 by 4 matrices, and quaternions. Nearly all functions are both static and inlined.

Abstract: Math library functions are widely used in embedded software to implement the complex computations. However, it is difficult for most abstract domains to analyze non-linear math library ...