toki/numidr
1
0
Fork 0
Code Issues Pull requests Activity
Linear algebra and data manipulation library for Idris2 | GitHub Mirror: https://github.com/kiana-S/numidr
87 commits 2 branches 2 tags 236 KiB
Idris 100%
Find a file
Kiana Sheibani 983733f241
Remove LArray 
LArrays were originally devised for efficiency reasons, but now that
Delayed array representations exist there isn't any need for it.
2023-09-25 22:55:53 -04:00
src/Data Remove LArray 2023-09-25 22:55:53 -04:00
.gitignore Update .gitignore 2022-05-10 16:41:34 -04:00
LICENSE Initial commit 2022-05-10 16:38:53 -04:00
numidr.ipkg Remove LArray 2023-09-25 22:55:53 -04:00
README.md Update README 2023-03-16 09:17:14 -04:00
sirdi.json Update package version 2023-01-30 20:46:19 -05:00

README.md

NumIdr

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".

Features

  • 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.

Inspiration

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.

Documentation

Most of the exported utility functions have docstrings. There are also plans for an in-depth tutorial on NumIdr's features, though that is not available yet.

Usage

Basic package install:

idris2 --install numidr.ipkg