NumIdr is a linear algebra and data manipulation library for Idris 2. It features an efficient, type-safe array data structure, as well as utilities for working with vector spaces and matrices.

The name is pronounced like "num-idge".

• A type-safe and efficient array type, based on NumPy's arrays.

• Compile-time checked indexing operations to avoid run-time overhead.

• Utility functions and operations for working with vectors, matrices, homogeneous coordinates, and other linear algebra computations.

• Transform types for working with rotations, reflections, isometries, and other types of affine maps.

NumIdr is inspired by many different data science and linear algebra libraries, including Python's NumPy, Rust's nalgebra, and Haskell's massiv. It aims to combine the most useful features of each library.

Most of the exported utility functions have docstrings. There is also a (currently unfinished) guide on how to use NumIdr here.

To install using idris2 directly:

git clone https://github.com/kiana-S/numidr
cd numidr
idris2 --install numidr.ipkg

Or you can install using pack:

pack install numidr