Low-dimensional linear algebra primitives for Haskell.
Do check out the linear package. It has some complicated parts, but the types work out very nicely. Your Coords type is called V3 in that package, it has a huge list of instances for all kinds of different type classes.
What are the current challenges in Numerical Programming for Haskell?
4 projects | reddit.com/r/haskell | 15 Mar 2022
Probabilistic modelling in Idris: engineering as research
1 project | reddit.com/r/Idris | 30 Jun 2021
Comparing Floating-Point Numbers Is Tricky
1 project | reddit.com/r/cpp | 10 Mar 2022
Advanced programming exercises/apps recommendations to code
8 projects | reddit.com/r/haskell | 19 Jan 2022
Feedback on Exercises 2
1 project | reddit.com/r/learnmath | 31 Dec 2021